Symbol: zap_page_range_single_batched