printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / cpu / intel / hyperthreading /
drwxr-xr-x   ..
-rw-r--r-- 25 Makefile.inc
-rw-r--r-- 1667 intel_sibling.c