taglinefilesource code
cache_2138kernel/irq.cstatic unsigned char cache_21 = 0xff;
cache_2155kernel/irq.ccache_21 |= mask;
cache_2156kernel/irq.coutb(cache_21,0x21);
cache_2175kernel/irq.ccache_21 &= mask;
cache_2176kernel/irq.coutb(cache_21,0x21);
cache_21261kernel/irq.ccache_21 &= ~(1<<irq);
cache_21262kernel/irq.coutb(cache_21,0x21);
cache_21264kernel/irq.ccache_21 &= ~(1<<2);
cache_21266kernel/irq.coutb(cache_21,0x21);
cache_21301kernel/irq.ccache_21 |= 1 << irq;
cache_21302kernel/irq.coutb(cache_21,0x21);