Lines Matching refs:GUEST_ASSERT_EQ
103 GUEST_ASSERT_EQ(sw_bp_addr, PC(sw_bp)); in guest_code()
111 GUEST_ASSERT_EQ(hw_bp_addr, PC(hw_bp)); in guest_code()
119 GUEST_ASSERT_EQ(hw_bp_addr, PC(bp_svc)); in guest_code()
120 GUEST_ASSERT_EQ(svc_addr, PC(bp_svc) + 4); in guest_code()
128 GUEST_ASSERT_EQ(sw_bp_addr, PC(bp_brk)); in guest_code()
129 GUEST_ASSERT_EQ(hw_bp_addr, PC(bp_brk)); in guest_code()
137 GUEST_ASSERT_EQ(write_data, 'x'); in guest_code()
138 GUEST_ASSERT_EQ(wp_data_addr, PC(write_data)); in guest_code()
151 GUEST_ASSERT_EQ(ss_addr[0], PC(ss_start)); in guest_code()
152 GUEST_ASSERT_EQ(ss_addr[1], PC(ss_start) + 4); in guest_code()
153 GUEST_ASSERT_EQ(ss_addr[2], PC(ss_start) + 8); in guest_code()