RM7K_CONF_TE
set_c0_config(RM7K_CONF_TE);
if (read_c0_config() & RM7K_CONF_TE)
clear_c0_config(RM7K_CONF_TE);