IRQ0_ID
irq_disable_channel(IRQ0_ID, irq);
irq_clear_all(IRQ0_ID);
OP___assert(ID == IRQ0_ID);
unsigned int irq_status = irq_reg_load(IRQ0_ID,
irq_enable_channel(IRQ0_ID, IRQ_NESTING_ID[ID]);
irq_disable_channel(IRQ0_ID, IRQ_NESTING_ID[ID]);
unsigned int irq_status = irq_reg_load(IRQ0_ID,
for (idx = 0; idx < IRQ_N_CHANNEL[IRQ0_ID]; idx++) {
if (idx == IRQ_N_CHANNEL[IRQ0_ID]) {
if (ID != IRQ0_ID) {
irq_reg_store(IRQ0_ID,
irq_enable_pulse(IRQ0_ID, enable_pulse);
((irq_reg_load(IRQ0_ID,