coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
finalize.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <types.h>
4 #include <cpu/x86/msr.h>
5 
6 #include "haswell.h"
7 
9 {
10  /* Lock memory configuration to protect SMM */
12 }
void intel_cpu_haswell_finalize_smm(void)
Definition: finalize.c:8
#define MSR_LT_LOCK_MEMORY
Definition: haswell.h:57
#define BIT(nr)
Definition: ec_commands.h:45
static void msr_set(unsigned int reg, uint64_t set)
Helper for setting MSR bitmasks.
Definition: msr.h:381