Lines Matching defs:read_c0_watchhi6
890 #define read_c0_watchhi6() __read_32bit_c0_register($19, 6)
