Lines Matching defs:write_c0_config
852 #define write_c0_config(val) __write_32bit_c0_register($16, 0, val)
