void up_ack_irq(int irq) { #if 0 /* Does not appear to be necessary in most cases */ lpc43_clrpend(irq); #endif }
void up_ack_irq(int irq) { lpc43_clrpend(irq); }