coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
msr.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef _SOC_MSR_H_
4 #define _SOC_MSR_H_
5 
6 #include <intelblocks/msr.h>
7 
8 #define MSR_BIOS_DONE 0x151
9 #define ENABLE_IA_UNTRUSTED (1 << 0)
10 #define MSR_VR_CURRENT_CONFIG 0x601
11 #define MSR_PL3_CONTROL 0x615
12 #define MSR_VR_MISC_CONFIG2 0x636
13 #define MSR_PLATFORM_POWER_LIMIT 0x65c
14 
15 #endif