construct_eptp     94 arch/x86/kvm/vmx.c static u64 construct_eptp(unsigned long root_hpa);
construct_eptp   1427 arch/x86/kvm/vmx.c 		ept_sync_context(construct_eptp(vcpu->arch.mmu.root_hpa));
construct_eptp   1541 arch/x86/kvm/vmx.c 		eptp = construct_eptp(cr3);