Lines Matching defs:read_c0_watchhi1
587 #define read_c0_watchhi1() __read_32bit_c0_register($19, 1)
