src/cpu/x86/cache/cache.c

   1 #include <console/console.h>
   2 #include <cpu/x86/cache.h>
   3
   4 void x86_enable_cache(void)
   5 {
   6         post_code(POST_ENABLING_CACHE);
   7         printk(BIOS_INFO, "Enabling cache\n");
   8         enable_cache();
   9 }