printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / include / cpu / x86 /
drwxr-xr-x   ..
-rw-r--r-- 324 bist.h
-rw-r--r-- 861 cache.h
-rw-r--r-- 3703 lapic.h
-rw-r--r-- 3024 lapic_def.h
-rw-r--r-- 734 msr.h
-rw-r--r-- 1329 mtrr.h
-rw-r--r-- 4496 multiboot.h
-rw-r--r-- 159 pae.h
-rw-r--r-- 4221 smm.h
-rw-r--r-- 491 tsc.h