Searched refs:wp_data_addr (Results 1 – 1 of 1) sorted by relevance
39 static volatile uint64_t wp_idx, wp_data_addr[16]; variable50 wp_data_addr[wp_idx++] = read_sysreg(far_el1); in wp_handler()347 report(wp_data_addr[i] == (uint64_t)&write_data[i], in test_wp()