Rename: hyperv_nested_flush_guest_mapping_range