ENVCFG_PMM
#define MSECCFG_PMM ENVCFG_PMM
envcfg_update_bits(current, ENVCFG_PMM, ENVCFG_PMM_PMLEN_0);
envcfg_update_bits(task, ENVCFG_PMM, pmm);
switch (task->thread.envcfg & ENVCFG_PMM) {
return (csr_read_clear(CSR_ENVCFG, ENVCFG_PMM) & ENVCFG_PMM) == value;
csr_clear(CSR_ENVCFG, ENVCFG_PMM);
return (csr_read_clear(CSR_HENVCFG, ENVCFG_PMM) & ENVCFG_PMM) == value;
vcpu->arch.cfg.henvcfg &= ~ENVCFG_PMM;
vcpu->arch.cfg.henvcfg &= ~ENVCFG_PMM;
switch (vcpu->arch.cfg.henvcfg & ENVCFG_PMM) {