Searched refs:wp_data_addr (Results 1 – 1 of 1) sorted by relevance
35 static volatile uint64_t wp_addr, wp_data_addr; variable271 GUEST_ASSERT_EQ(wp_data_addr, PC(write_data)); in guest_code()305 wp_data_addr = 0; in guest_code()309 GUEST_ASSERT_EQ(wp_data_addr, 0); in guest_code()342 GUEST_ASSERT_EQ(wp_data_addr, PC(write_data)); in guest_code()361 wp_data_addr = read_sysreg(far_el1); in guest_wp_handler()