MRCMDX
(void) CSR_READ_2(l, MRCMDX); /* dummy read */
mark = CSR_READ_2(l, MRCMDX); /* mark in [7:0] */