DE_PCSR1
printf(", PCSR1 %x\n", DE_RCSR(DE_PCSR1));
csr1 = DE_RCSR(DE_PCSR1);
csr1 = DE_RCSR(DE_PCSR1);
(DE_RCSR(DE_PCSR1) & PCSR1_STMASK) == STAT_RESET;
(((DE_RCSR(DE_PCSR1) & PCSR1_STMASK) != STAT_READY) &&
((DE_RCSR(DE_PCSR1) & PCSR1_STMASK) != STAT_RUN)))