Symbol: vmcs_read_cet_state
arch/x86/kvm/vmx/nested.c
3663
vmcs_read_cet_state(vcpu, &vmx->nested.pre_vmenter_s_cet,
arch/x86/kvm/vmx/nested.c
4718
vmcs_read_cet_state(&vmx->vcpu, &vmcs12->guest_s_cet,