tag	line	file	source code
_a1	174	arch/ppc/kernel/irq.c	unsigned char _a0, _a1, _20, _21;
_a1	175	arch/ppc/kernel/irq.c	_a1 = inb(0xA1);
_a1	181	arch/ppc/kernel/irq.c	_20, _21, cache_21, _a0, _a1, cache_A1);