tag	line	file	source code
pin	388	arch/alpha/kernel/bios32.c	unsigned char pin;
pin	410	arch/alpha/kernel/bios32.c	PCI_INTERRUPT_PIN, &pin);
pin	411	arch/alpha/kernel/bios32.c	if (!pin) {
pin	416	arch/alpha/kernel/bios32.c	pin = 1;
pin	421	arch/alpha/kernel/bios32.c	pirq = pirq_tab[PCI_SLOT(dev->devfn) - 6][pin - 1];