GUEST_S_CET
*s_cet = vmcs_readl(GUEST_S_CET);
vmcs_writel(GUEST_S_CET, s_cet);
FIELD(GUEST_S_CET, guest_s_cet),
case GUEST_S_CET:
msr_info->data = vmcs_readl(GUEST_S_CET);
vmcs_writel(GUEST_S_CET, data);
vmcs_writel(GUEST_S_CET, 0);
vmcs_readl(GUEST_S_CET), vmcs_readl(GUEST_SSP),