TSI148_LCSR_INTC
bridge->base + TSI148_LCSR_INTC);
iowrite32be(serviced, bridge->base + TSI148_LCSR_INTC);
iowrite32be(0xFFFFFFFF, bridge->base + TSI148_LCSR_INTC);