DE_RCSR
if ((csr0 = DE_RCSR(DE_PCSR0)) & PCSR0_INTR)
if ((csr0 = DE_RCSR(DE_PCSR0)) & PCSR0_INTR)
while ((DE_RCSR(DE_PCSR0) & PCSR0_INTR) == 0)
csr0 = DE_RCSR(DE_PCSR0);
printf(", PCSR1 %x\n", DE_RCSR(DE_PCSR1));
csr1 = DE_RCSR(DE_PCSR1);
csr0 = DE_RCSR(DE_PCSR0);
while ((DE_RCSR(DE_PCSR0) & PCSR0_INTR) == 0)
csr0 = DE_RCSR(DE_PCSR0);
csr1 = DE_RCSR(DE_PCSR1);
(DE_RCSR(DE_PCSR0) & PCSR0_FATI) == 0 &&
(DE_RCSR(DE_PCSR1) & PCSR1_STMASK) == STAT_RESET;
if (((DE_RCSR(DE_PCSR0) & PCSR0_FATI) != 0) ||
(((DE_RCSR(DE_PCSR1) & PCSR1_STMASK) != STAT_READY) &&
((DE_RCSR(DE_PCSR1) & PCSR1_STMASK) != STAT_RUN)))
while ((DE_RCSR(DE_PCSR0) & PCSR0_INTR) == 0)