Lines Matching refs:write_c0_status
539 #define write_c0_status(val) __write_32bit_c0_register($12, 0, val)