Searched refs:ssp_tbl (Results 1 – 1 of 1) sorted by relevance
2533 u64 *ssp, u64 *ssp_tbl) in vmcs_read_cet_state() argument2541 *ssp_tbl = vmcs_readl(GUEST_INTR_SSP_TABLE); in vmcs_read_cet_state()2546 u64 ssp, u64 ssp_tbl) in vmcs_write_cet_state() argument2554 vmcs_writel(GUEST_INTR_SSP_TABLE, ssp_tbl); in vmcs_write_cet_state()3143 u64 ssp, u64 ssp_tbl) in nested_vmx_check_cet_state_common() argument3146 CC(is_noncanonical_msr_address(ssp_tbl, vcpu))) in nested_vmx_check_cet_state_common()