Searched refs:wp_data_addr (Results 1 – 1 of 1) sorted by relevance
27 static volatile uint64_t wp_addr, wp_data_addr; variable146 GUEST_ASSERT_EQ(wp_data_addr, PC(write_data)); in guest_code()188 wp_data_addr = 0; in guest_code()192 GUEST_ASSERT_EQ(wp_data_addr, 0); in guest_code()225 wp_data_addr = read_sysreg(far_el1); in guest_wp_handler()