arch/x86/kvm/vmx/nested.c

2537

*s_cet = vmcs_readl(GUEST_S_CET);

arch/x86/kvm/vmx/nested.c

2550

vmcs_writel(GUEST_S_CET, s_cet);

arch/x86/kvm/vmx/vmcs12.c

142

FIELD(GUEST_S_CET, guest_s_cet),

arch/x86/kvm/vmx/vmcs12.c

199

case GUEST_S_CET:

arch/x86/kvm/vmx/vmx.c

2260

msr_info->data = vmcs_readl(GUEST_S_CET);

arch/x86/kvm/vmx/vmx.c

2587

vmcs_writel(GUEST_S_CET, data);

arch/x86/kvm/vmx/vmx.c

5149

vmcs_writel(GUEST_S_CET, 0);

arch/x86/kvm/vmx/vmx.c

6674

vmcs_readl(GUEST_S_CET), vmcs_readl(GUEST_SSP),