Merge branch 'cpus4096' into irq/threaded
[linux-2.6] / arch / x86 / kernel / acpi / realmode / video-bios.c
1 #include "../../../boot/video-bios.c"