tag	line	file	source code
PCI_INTERRUPT_PIN	422	arch/alpha/kernel/bios32.c	PCI_INTERRUPT_PIN, &pin);
PCI_INTERRUPT_PIN	619	arch/alpha/kernel/bios32.c	PCI_INTERRUPT_PIN, &pin);