Searched refs:wp_data_addr (Results 1 – 1 of 1) sorted by relevance
28 static volatile uint64_t wp_addr, wp_data_addr; variable138 GUEST_ASSERT_EQ(wp_data_addr, PC(write_data)); in guest_code()172 wp_data_addr = read_sysreg(far_el1); in guest_wp_handler()
