Searched refs:microcode (Results 1 - 1 of 1) sorted by relevance

/macosx-10.5.8/xnu-1228.15.4/osfmk/i386/
H A Dmachine_check.c272 uint64_t microcode; local
275 // microcode revision is top 32 bits of MSR_IA32_UCODE_REV
276 microcode = rdmsr64(MSR_IA32_UCODE_REV) >> 32;
277 kdb_printf(" family: %d model: %d stepping: %d microcode: %d\n",
281 (uint32_t) microcode);

Completed in 23 milliseconds