MSR_PPIN_CTL_LOCKED
if ((value & MSR_PPIN_CTL_LOCKED) != 0) {
(void) cmi_hdl_wrmsr(hdl, ppin_ctl_msr, MSR_PPIN_CTL_LOCKED);