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