Searched refs:GUEST_S_CET (Results 1 – 4 of 4) sorted by relevance
142 FIELD(GUEST_S_CET, guest_s_cet),
2219 msr_info->data = vmcs_readl(GUEST_S_CET); in vmx_get_msr()2546 vmcs_writel(GUEST_S_CET, data); in vmx_set_msr()5019 vmcs_writel(GUEST_S_CET, 0); in vmx_vcpu_reset()6505 vmcs_readl(GUEST_S_CET), vmcs_readl(GUEST_SSP), in dump_vmcs()
2542 *s_cet = vmcs_readl(GUEST_S_CET); in vmcs_read_cet_state()2555 vmcs_writel(GUEST_S_CET, s_cet); in vmcs_write_cet_state()
375 GUEST_S_CET = 0x00006828, enumerator