MSR_OP_WRITE
x86_msr_op(MSR_THERM_STATUS, MSR_OP_RENDEZVOUS_ONE | MSR_OP_WRITE |
MSR_OP_WRITE, 1, NULL);
MSR_OP_WRITE, 0, NULL);
MSR_OP_WRITE | MSR_OP_RENDEZVOUS_ONE | MSR_OP_CPUID(cpu), id, NULL);
case MSR_OP_WRITE:
case MSR_OP_WRITE: