/* Performance counter interrupts are global on all processors.  */
static void local_rm9k_perfcounter_irq_startup(void *args)
/* Performance counter interrupts are global on all processors.  */
static void local_rm9k_perfcounter_irq_startup(void *args)
{
	unsigned int irq = (unsigned int) args;
	rm9k_cpu_irq_enable(irq);
}