r_menvcfg          41 kernel/start.c   w_menvcfg(r_menvcfg() | MENVCFG_ADUE);
r_menvcfg          59 kernel/start.c   w_menvcfg(r_menvcfg() | MENVCFG_STCE);