Symbol: MSR_PLATFORM_INFO
usr/src/uts/intel/io/vmm/intel/vmx_msr.c
451
case MSR_PLATFORM_INFO:
usr/src/uts/intel/os/cpuid.c
3982
value = rdmsr(MSR_PLATFORM_INFO);