blob: c38e10344bf9ea5fb09bccd8dfe124429605e180 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#include <console/console.h>
#include <cpu/x86/cache.h>
void x86_enable_cache(void)
{
post_code(POST_ENABLING_CACHE);
printk(BIOS_INFO, "Enabling cache\n");
enable_cache();
}
|