AIC_SVR(SYSC_ID) = sysirq_dispatcher;
/* Initialize to edge triggered with defined priority. */
AIC_SMR(SYSC_ID) = AIC_SRCTYPE_INT_EDGE_TRIGGERED | SYSIRQ_PRIORITY;
AIC_SVR(SYSC_ID) = sysirq_dispatcher;
/* Initialize to edge triggered with defined priority. */
AIC_SMR(SYSC_ID) = AIC_SRCTYPE_INT_EDGE_TRIGGERED | SYSIRQ_PRIORITY;