taglinefilesource code
cache_2137kernel/irq.cstatic unsigned char cache_21 = 0xff;
cache_2154kernel/irq.ccache_21 |= mask;
cache_2155kernel/irq.coutb(cache_21,0x21);
cache_2174kernel/irq.ccache_21 &= mask;
cache_2175kernel/irq.coutb(cache_21,0x21);
cache_21239kernel/irq.ccache_21 &= ~(1<<irq);
cache_21240kernel/irq.coutb(cache_21,0x21);
cache_21242kernel/irq.ccache_21 &= ~(1<<2);
cache_21244kernel/irq.coutb(cache_21,0x21);
cache_21278kernel/irq.ccache_21 |= 1 << irq;
cache_21279kernel/irq.coutb(cache_21,0x21);