/* SPDX-License-Identifier: GPL-2.0-only */ #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(); }