Symbol: MSR_IA32_PLATFORM_ID
sys/cpu/x86_64/include/specialreg.h
531
#define MSR_IA32_PLATFORM_ID 0x017
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
188
#define MSR_IA32_PLATFORM_ID 0x0017