INTCTL_INTPND
while ((irqbits = icreg(INTCTL_INTPND)) != 0) {
icreg(INTCTL_INTPND) = PENDING_CLEAR_MASK & (1 << irqno);
icreg(INTCTL_INTPND) = ~0;
while ((irqbits = icreg(INTCTL_INTPND)) != 0) {
icreg(INTCTL_INTPND) = PENDING_CLEAR_MASK & (1 << irqno);
icreg(INTCTL_INTPND) = ~0;