Symbol: read_c0_config2