MSR 0x48 (SPEC_CTRL) bitを確認するには

Spectre v2のために、IBRS機能の代わりにRetpolinesを使用したりすることがあります。その際、CPUのIA32_SPEC_CTRL MSRが正しくセットされているか簡単に確認できます。

Intelの「Speculative Execution Side Channel Mitigations」を参照すると
32_SPEC_CTRL doeは、Register Address Hex 48Hと記載されています。

msr-toolsパッケージのrdmsrを使って、model-specific registersにアクセスできます。例えば、全てのCPUのレジスタ0x48の値を取得するには、以下のように実行します。

# rdmsr -a 0x48

参考:

https://software.intel.com/sites/default/files/managed/c5/63/336996-Speculative-Execution-Side-Channel-Mitigations.pdf