get_ept_level    2960 arch/x86/kvm/vmx/vmx.c 	eptp |= (get_ept_level(vcpu) == 5) ? VMX_EPTP_PWL_5 : VMX_EPTP_PWL_4;
get_ept_level    7871 arch/x86/kvm/vmx/vmx.c 	.get_tdp_level = get_ept_level,