IA32_MSR_UCODE_REV
const uint64 microcode = x86_read_msr(IA32_MSR_UCODE_REV);
x86_write_msr(IA32_MSR_UCODE_REV, 0);
uint64 value = x86_read_msr(IA32_MSR_UCODE_REV);
uint64 value = x86_read_msr(IA32_MSR_UCODE_REV);