tag	line	file	source code
level_bits	590	arch/alpha/kernel/bios32.c	unsigned char pin, level_bits;
level_bits	598	arch/alpha/kernel/bios32.c	level_bits = 0;
level_bits	622	arch/alpha/kernel/bios32.c	level_bits |= (1 << (dev->irq - 8));
level_bits	623	arch/alpha/kernel/bios32.c	outb(level_bits, 0x4d1);