CSR_ENVCFG
csr_write(CSR_ENVCFG, envcfg);
asm volatile (ALTERNATIVE("nop", "csrw " __stringify(CSR_ENVCFG) ", %0",
csr_set(CSR_ENVCFG, value);
return (csr_read_clear(CSR_ENVCFG, ENVCFG_PMM) & ENVCFG_PMM) == value;
csr_clear(CSR_ENVCFG, ENVCFG_PMM);
context->envcfg = csr_read(CSR_ENVCFG);
csr_write(CSR_ENVCFG, context->envcfg);
csr_write(CSR_ENVCFG, task->thread.envcfg);
csr_write(CSR_ENVCFG, task->thread.envcfg);