MSR_IA32_UCODE_WRITE
native_wrmsrq(MSR_IA32_UCODE_WRITE, (unsigned long)mc->bits);
if (CC(e->index == MSR_IA32_UCODE_WRITE) || /* SDM Table 35-2 */
case MSR_IA32_UCODE_WRITE: