Symbol: MSR_PLATFORM_ID
sys/arch/amd64/amd64/ucode.c
276
uint64_t platform_id = (rdmsr(MSR_PLATFORM_ID) >> 50) & 7;
sys/arch/amd64/amd64/vmm_machdep.c
5842
case MSR_PLATFORM_ID:
sys/arch/amd64/amd64/vmm_machdep.c
6152
case MSR_PLATFORM_ID:
sys/arch/i386/i386/ucode.c
299
uint64_t platform_id = (rdmsr(MSR_PLATFORM_ID) >> 50) & 7;