/* These have to be protected by the irq controller spinlock before being called.  */
static void shark_disable_8259A_irq(unsigned int irq)
/* These have to be protected by the irq controller spinlock before being called.  */
static void shark_disable_8259A_irq(unsigned int irq)
{
	unsigned int mask;
	if (irq<8) {
	  mask = 1 << irq;
	  cached_irq_mask[0] |= mask;
	  outb(cached_irq_mask[1],0xA1);
	} else {
	  mask = 1 << (irq-8);
	  cached_irq_mask[1] |= mask;
	  outb(cached_irq_mask[0],0x21);
	}
}