x86/PCI: use dev_printk when possible
[linux-2.6/mini2440.git] / arch / x86 / lguest / 
tree9e4108cdbf931da926b3feab8d5f4860e7511f96
drwxr-xr-x   ..
-rw-r--r-- 491 Kconfig
-rw-r--r-- 29 Makefile
-rw-r--r-- 41415 boot.c
-rw-r--r-- 5634 i386_head.S