Lines Matching defs:write_c0_config1
853 #define write_c0_config1(val) __write_32bit_c0_register($16, 1, val)
