/* SPDX-License-Identifier: GPL-2.0-only */ | |
#include <types.h> | |
#include <arch/cpu.h> | |
#include <cpu/x86/msr.h> | |
#include "haswell.h" | |
void intel_cpu_haswell_finalize_smm(void) | |
{ | |
/* Lock memory configuration to protect SMM */ | |
msr_set(MSR_LT_LOCK_MEMORY, BIT(0)); | |
} |