Searched refs:GUEST_INTR_SSP_TABLE (Results 1 – 4 of 4) sorted by relevance
144 FIELD(GUEST_INTR_SSP_TABLE, guest_ssp_tbl),201 case GUEST_INTR_SSP_TABLE: in cpu_has_vmcs12_field()
2266 msr_info->data = vmcs_readl(GUEST_INTR_SSP_TABLE); in vmx_get_msr()2593 vmcs_writel(GUEST_INTR_SSP_TABLE, data); in vmx_set_msr()5145 vmcs_writel(GUEST_INTR_SSP_TABLE, 0); in vmx_vcpu_reset()6675 vmcs_readl(GUEST_INTR_SSP_TABLE)); in dump_vmcs()
2541 *ssp_tbl = vmcs_readl(GUEST_INTR_SSP_TABLE); in vmcs_read_cet_state()2554 vmcs_writel(GUEST_INTR_SSP_TABLE, ssp_tbl); in vmcs_write_cet_state()
378 GUEST_INTR_SSP_TABLE = 0x0000682c, enumerator