It must be something wrong in my memory, thanks for catching it!+ case MSR_IA32_PL0_SSP ... MSR_IA32_INT_SSP_TAB:Why should MSR_IA32_INT_SSP_TAB be 4-byte aligned? I don't see
+ if (!kvm_cet_is_msr_accessible(vcpu, msr_info))
+ return 1;
+ if (is_noncanonical_address(data, vcpu))
+ return 1;
+ if (!IS_ALIGNED(data, 4))
+ return 1;
this requirement in SDM.
IA32_INTERRUPT_SSP_TABLE_ADDR:
Linear address of a table of seven shadow
stack pointers that are selected in IA-32e
mode using the IST index (when not 0) from
the interrupt gate descriptor. (R/W)
This MSR is not present on processors that
do not support Intel 64 architecture. This
field cannot represent a non-canonical
address.