RM7K_CONF_SE
set_c0_config(RM7K_CONF_SE);
if (read_c0_config() & RM7K_CONF_SE)
clear_c0_config(RM7K_CONF_SE);
if (!(config & RM7K_CONF_SE))