MSR_AMD_INT_PENDING_CMP_HALT
reg = rdmsr(MSR_AMD_INT_PENDING_CMP_HALT);
wrmsr(MSR_AMD_INT_PENDING_CMP_HALT, reg);