read_c0_config2
config2 = read_c0_config2();
if (!(read_c0_config2() & MIPS_CONF_M))
config2 = read_c0_config2();
config2 = read_c0_config2();
unsigned int config2 = read_c0_config2();
config2 = read_c0_config2();