On 22/05/2018 09:16, Liu, Jingqi wrote: > Hi Paolo, It could not follow the way spec_ctrl is implemented. The > guest will use the setting in TEST_CTL MSR which is set by host. If > the bit is set in the host, an #AC exception will be caused when > the guest starts. Actually, the bit is disabled when guest starts. > And it can be enabled in guest kernel. Check out the new code that was added for SSBD. It now supports different SPEC_CTRL settings in the guest and in the host. Paolo