#include #include void __init pcibios_fixup_irqs(void) { }