hyperv_flush_guest_mapping_range
EXPORT_SYMBOL_GPL(hyperv_flush_guest_mapping_range);
int hyperv_flush_guest_mapping_range(u64 as,
return hyperv_flush_guest_mapping_range(root_tdp,