WMREG_MANC
manc = CSR_READ(sc, WMREG_MANC);
reg = CSR_READ(sc, WMREG_MANC);
uint32_t manc = CSR_READ(sc, WMREG_MANC);
CSR_WRITE(sc, WMREG_MANC, manc);
uint32_t manc = CSR_READ(sc, WMREG_MANC);
CSR_WRITE(sc, WMREG_MANC, manc);
if ((CSR_READ(sc, WMREG_MANC) & MANC_EN_BMC2OS) != 0) {