INT_STATE_REG
levels = in32rb(INT_STATE_REG);
irqs = in32rb(INT_STATE_REG);
printf("states: %08x\n", in32rb(INT_STATE_REG));