Lines Matching defs:write_c0_intctl
681 #define write_c0_intctl(val) __write_32bit_c0_register($12, 1, val)
