construct_eptp 1990 arch/x86/kvm/vmx/nested.c vmcs_write64(EPT_POINTER, construct_eptp(&vmx->vcpu, 0)); construct_eptp 2979 arch/x86/kvm/vmx/vmx.c eptp = construct_eptp(vcpu, cr3); construct_eptp 329 arch/x86/kvm/vmx/vmx.h u64 construct_eptp(struct kvm_vcpu *vcpu, unsigned long root_hpa); construct_eptp 489 arch/x86/kvm/vmx/vmx.h u64 construct_eptp(struct kvm_vcpu *vcpu, unsigned long root_hpa); construct_eptp 497 arch/x86/kvm/vmx/vmx.h ept_sync_context(construct_eptp(vcpu,