Lines Matching defs:read_c0_watchhi3
887 #define read_c0_watchhi3() __read_32bit_c0_register($19, 3)
