/* Simple routines for masking and unmasking SCC interrupts in cases where this can't be done in hardware (only the PSC can do that.)  */
static void scc_irq_enable(unsigned int)
/* Simple routines for masking and unmasking SCC interrupts in cases where this can't be done in hardware (only the PSC can do that.)  */
static void scc_irq_enable(unsigned int)
{
	int irq_idx = IRQ_IDX(irq);
	scc_mask |= (1 << irq_idx);
}