WM_INVM_DATA_REG
invm_dword = CSR_READ(sc, WM_INVM_DATA_REG(i));
dword = CSR_READ(sc, WM_INVM_DATA_REG(61));