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);