acpi
|
use aprint_*_dev and device_xname
|
2008-04-04 22:39:30 +00:00 |
bios
|
use aprint_*_dev and device_xname
|
2008-04-04 22:05:39 +00:00 |
bioscall
|
Make this work with objdirs.
|
2006-06-06 15:41:50 +00:00 |
i386
|
Access Xen's vcpu info structure per-CPU.
|
2008-04-21 15:15:33 +00:00 |
include
|
Access Xen's vcpu info structure per-CPU.
|
2008-04-21 15:15:33 +00:00 |
isa
|
remove extra blank.
|
2008-04-11 20:42:34 +00:00 |
mca
|
Noisy printf
|
2007-12-01 16:49:56 +00:00 |
pnpbios
|
use POSIX integer types
|
2008-04-16 21:51:02 +00:00 |
stand
|
Add commented out ext2fs definitions.
|
2008-04-05 18:21:34 +00:00 |
xbox
|
use __KERNEL_RCSID()
|
2007-12-11 11:52:26 +00:00 |