Lines Matching refs:GUEST_ASSERT_EQ
111 GUEST_ASSERT_EQ(sw_bp_addr, PC(sw_bp)); in guest_code()
119 GUEST_ASSERT_EQ(hw_bp_addr, PC(hw_bp)); in guest_code()
127 GUEST_ASSERT_EQ(hw_bp_addr, PC(bp_svc)); in guest_code()
128 GUEST_ASSERT_EQ(svc_addr, PC(bp_svc) + 4); in guest_code()
136 GUEST_ASSERT_EQ(sw_bp_addr, PC(bp_brk)); in guest_code()
137 GUEST_ASSERT_EQ(hw_bp_addr, PC(bp_brk)); in guest_code()
145 GUEST_ASSERT_EQ(write_data, 'x'); in guest_code()
146 GUEST_ASSERT_EQ(wp_data_addr, PC(write_data)); in guest_code()
159 GUEST_ASSERT_EQ(ss_addr[0], PC(ss_start)); in guest_code()
160 GUEST_ASSERT_EQ(ss_addr[1], PC(ss_start) + 4); in guest_code()
161 GUEST_ASSERT_EQ(ss_addr[2], PC(ss_start) + 8); in guest_code()
170 GUEST_ASSERT_EQ(sw_bp_addr, PC(sw_bp2)); in guest_code()
180 GUEST_ASSERT_EQ(hw_bp_addr, 0); in guest_code()
191 GUEST_ASSERT_EQ(write_data, 'x'); in guest_code()
192 GUEST_ASSERT_EQ(wp_data_addr, 0); in guest_code()
206 GUEST_ASSERT_EQ(ss_addr[0], 0); in guest_code()