blob: 05f5b50e8206637cb32620fda4aad96fa967dc25 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#include <types.h>
#include <cpu/x86/msr.h>
#include "model_206ax.h"
int get_platform_id(void)
{
msr_t msr;
msr = rdmsr(IA32_PLATFORM_ID);
/* Read Platform Id Bits 52:50 */
return (msr.hi >> 18) & 0x7;
}
|