/* SPDX-License-Identifier: GPL-2.0-only */

#include <arch/cpu.h>
#include <cpu/x86/msr.h>
#include "haswell.h"

void intel_cpu_haswell_finalize_smm(void)
{
}