Searched refs:GUEST_S_CET (Results 1 – 4 of 4) sorted by relevance
142 FIELD(GUEST_S_CET, guest_s_cet),199 case GUEST_S_CET: in cpu_has_vmcs12_field()
2260 msr_info->data = vmcs_readl(GUEST_S_CET); in vmx_get_msr()2587 vmcs_writel(GUEST_S_CET, data); in vmx_set_msr()5149 vmcs_writel(GUEST_S_CET, 0); in vmx_vcpu_reset()6674 vmcs_readl(GUEST_S_CET), vmcs_readl(GUEST_SSP), in dump_vmcs()
2537 *s_cet = vmcs_readl(GUEST_S_CET); in vmcs_read_cet_state()2550 vmcs_writel(GUEST_S_CET, s_cet); in vmcs_write_cet_state()
376 GUEST_S_CET = 0x00006828, enumerator