HOST_S_CET
FIELD(HOST_S_CET, host_s_cet),
case HOST_S_CET:
vmcs_writel(HOST_S_CET, kvm_host.s_cet);
vmcs_readl(HOST_S_CET), vmcs_readl(HOST_SSP),