MVXPE_PTXS
"PTXS: queue %d, %#x\n", q, MVXPE_READ(sc, MVXPE_PTXS(q)));
ptxs = MVXPE_READ(sc, MVXPE_PTXS(q));