Lines Matching defs:write_c0_config4
856 #define write_c0_config4(val) __write_32bit_c0_register($16, 4, val)
