MVXPE_PRXS
"PRXS: queue %d, %#x\n", q, MVXPE_READ(sc, MVXPE_PRXS(q)));
prxs = MVXPE_READ(sc, MVXPE_PRXS(q));
prxs = MVXPE_READ(sc, MVXPE_PRXS(q));
uint32_t _reg = MVXPE_READ(sc, MVXPE_PRXS(q)); \