tag
line
file
source code
_20
175
arch/ppc/kernel/irq.c
unsigned char _a0, _a1, _20, _21;
_20
178
arch/ppc/kernel/irq.c
outb(0x0C, 0x20); _20 = inb(0x20);
_20
182
arch/ppc/kernel/irq.c
_20, _21, cache_21, _a0, _a1, cache_A1);