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_21242kernel/irq.ccache_21 &= ~(1<<irq);
cache_21243kernel/irq.coutb(cache_21,0x21);
cache_21245kernel/irq.ccache_21 &= ~(1<<2);
cache_21247kernel/irq.coutb(cache_21,0x21);
cache_21281kernel/irq.ccache_21 |= 1 << irq;
cache_21282kernel/irq.coutb(cache_21,0x21);