hyperv_flush_guest_mapping   57 arch/x86/hyperv/nested.c EXPORT_SYMBOL_GPL(hyperv_flush_guest_mapping);
hyperv_flush_guest_mapping  227 arch/x86/include/asm/mshyperv.h int hyperv_flush_guest_mapping(u64 as);
hyperv_flush_guest_mapping  502 arch/x86/kvm/vmx/vmx.c 		return hyperv_flush_guest_mapping(ept_pointer & PAGE_MASK);