P1SR
val = CSR_READ_2(l, P1SR);
val = CSR_READ_2(l, P1SR);
uint16_t p1sr = CSR_READ_2(sc, P1SR);
printf("p1sr: %04x, p2sr: %04x\n", CSR_READ_2(sc, P1SR), CSR_READ_2(sc, P2SR));
uint16_t p1sr = CSR_READ_2(sc, P1SR);