Symbol: CSR_MENVCFG