++ if (pend) {
++ bit = fls(pend) - 1;
++ printk("GPIO IRQ: pend=0x%08x, val=%08x, bit=%d\n", pend, gpiointval, bit);
++ pend &= ~(1 << bit);
++ gpiointval ^= (1 << bit);
++ printk("AFTER IRQ: pend=0x%08x, val=%08x, bit=%d\n", pend, gpiointval, bit);
++ }