Searched refs:wp_data_addr (Results 1 – 1 of 1) sorted by relevance
35 static volatile u64 wp_addr, wp_data_addr; variable269 GUEST_ASSERT_EQ(wp_data_addr, PC(write_data)); in guest_code()303 wp_data_addr = 0; in guest_code()307 GUEST_ASSERT_EQ(wp_data_addr, 0); in guest_code()340 GUEST_ASSERT_EQ(wp_data_addr, PC(write_data)); in guest_code()359 wp_data_addr = read_sysreg(far_el1); in guest_wp_handler()