Symbol: MSR_PLATFORM_ID
sys/arch/amd64/include/specialreg.h
463
#define MSR_PLATFORM_ID 0x017 /* Platform ID for microcode */
sys/arch/i386/include/specialreg.h
320
#define MSR_PLATFORM_ID 0x017 /* Platform ID for microcode */