Lines Matching refs:GUEST_ASSERT_EQ
244 GUEST_ASSERT_EQ(sw_bp_addr, PC(sw_bp)); in guest_code()
250 GUEST_ASSERT_EQ(hw_bp_addr, PC(hw_bp)); in guest_code()
256 GUEST_ASSERT_EQ(hw_bp_addr, PC(bp_svc)); in guest_code()
257 GUEST_ASSERT_EQ(svc_addr, PC(bp_svc) + 4); in guest_code()
263 GUEST_ASSERT_EQ(sw_bp_addr, PC(bp_brk)); in guest_code()
264 GUEST_ASSERT_EQ(hw_bp_addr, PC(bp_brk)); in guest_code()
270 GUEST_ASSERT_EQ(write_data, 'x'); in guest_code()
271 GUEST_ASSERT_EQ(wp_data_addr, PC(write_data)); in guest_code()
282 GUEST_ASSERT_EQ(ss_addr[0], PC(ss_start)); in guest_code()
283 GUEST_ASSERT_EQ(ss_addr[1], PC(ss_start) + 4); in guest_code()
284 GUEST_ASSERT_EQ(ss_addr[2], PC(ss_start) + 8); in guest_code()
291 GUEST_ASSERT_EQ(sw_bp_addr, PC(sw_bp2)); in guest_code()
299 GUEST_ASSERT_EQ(hw_bp_addr, 0); in guest_code()
308 GUEST_ASSERT_EQ(write_data, 'x'); in guest_code()
309 GUEST_ASSERT_EQ(wp_data_addr, 0); in guest_code()
321 GUEST_ASSERT_EQ(ss_addr[0], 0); in guest_code()
332 GUEST_ASSERT_EQ(hw_bp_addr, PC(hw_bp_ctx)); in guest_code()
341 GUEST_ASSERT_EQ(write_data, 'x'); in guest_code()
342 GUEST_ASSERT_EQ(wp_data_addr, PC(write_data)); in guest_code()
413 GUEST_ASSERT_EQ(bvr, w_bvr); in guest_code_ss()
414 GUEST_ASSERT_EQ(wvr, w_wvr); in guest_code_ss()