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