HW_BROADWAY_ICR
irq_status = in_be32(io_base + HW_BROADWAY_ICR) &
out_be32(io_base + HW_BROADWAY_ICR, 0xffffffff);
out_be32(io_base + HW_BROADWAY_ICR, mask);
out_be32(io_base + HW_BROADWAY_ICR, 1 << irq);