Lines Matching defs:write_c0_count
801 #define write_c0_count(val) __write_32bit_c0_register($9, 0, val)
