MSR_IA32_INT_SSP_TAB
case MSR_IA32_INT_SSP_TAB:
case MSR_IA32_INT_SSP_TAB:
case MSR_IA32_INT_SSP_TAB:
case MSR_IA32_INT_SSP_TAB:
case MSR_IA32_PL0_SSP ... MSR_IA32_INT_SSP_TAB:
if (index == MSR_IA32_INT_SSP_TAB && !guest_cpu_cap_has(vcpu, X86_FEATURE_LM))
if (index != MSR_IA32_INT_SSP_TAB && !IS_ALIGNED(data, 4))
case MSR_IA32_PL0_SSP ... MSR_IA32_INT_SSP_TAB:
MSR_IA32_PL3_SSP, MSR_IA32_INT_SSP_TAB,
case MSR_IA32_INT_SSP_TAB: