Symbol: construct_eptp
arch/x86/kvm/vmx/vmx.c
3341
u64 eptp = construct_eptp(root_hpa);
arch/x86/kvm/vmx/vmx.c
3530
vmcs_write64(EPT_POINTER, construct_eptp(root_hpa));