hyperv_flush_guest_mapping_range  136 arch/x86/hyperv/nested.c EXPORT_SYMBOL_GPL(hyperv_flush_guest_mapping_range);
hyperv_flush_guest_mapping_range  228 arch/x86/include/asm/mshyperv.h int hyperv_flush_guest_mapping_range(u64 as,
hyperv_flush_guest_mapping_range  499 arch/x86/kvm/vmx/vmx.c 		return hyperv_flush_guest_mapping_range(ept_pointer & PAGE_MASK,