taglinefilesource code
cache_2138kernel/irq.cstatic unsigned char cache_21 = 0xff;
cache_21189kernel/irq.ccache_21 &= ~(1<<irq);
cache_21190kernel/irq.coutb(cache_21,0x21);
cache_21192kernel/irq.ccache_21 &= ~(1<<2);
cache_21194kernel/irq.coutb(cache_21,0x21);
cache_21228kernel/irq.ccache_21 |= 1 << irq;
cache_21229kernel/irq.coutb(cache_21,0x21);