blob: 14580004d05499dfd4aedc832f14601804c3dd42 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
/* SPDX-License-Identifier: GPL-2.0-only */
#ifndef _SOC_CPU_H
#define _SOC_CPU_H
#include <device/device.h>
#include <cpu/x86/msr.h>
#define CPUID_COOPERLAKE_SP_A0 0x05065a
/* CPU bus clock is fixed at 100MHz */
#define CPU_BCLK 100
void cpx_init_cpus(struct device *dev);
msr_t read_msr_ppin(void);
#endif
|