Symbol: zap_vma_range_batched