linux-zen-server/arch/x86/pci/irq.o