taglinefilesource code
cache_A139kernel/irq.cstatic unsigned char cache_A1 = 0xff;
cache_A1193kernel/irq.ccache_A1 &= ~(1<<(irq-8));
cache_A1195kernel/irq.coutb(cache_A1,0xA1);
cache_A1231kernel/irq.ccache_A1 |= 1 << (irq-8);
cache_A1232kernel/irq.coutb(cache_A1,0xA1);