Lines Matching defs:wpn
152 static void install_wp(uint8_t wpn, uint64_t addr)
157 write_dbgwcr(wpn, wcr);
158 write_dbgwvr(wpn, addr);
237 static void guest_code(uint8_t bpn, uint8_t wpn, uint8_t ctx_bpn)
268 install_wp(wpn, PC(write_data));
306 install_wp(wpn, PC(write_data));
336 install_wp_ctx(wpn, ctx_bpn, PC(write_data), ctx);
424 static void test_guest_debug_exceptions(uint8_t bpn, uint8_t wpn, uint8_t ctx_bpn)
446 /* Specify bpn/wpn/ctx_bpn to be tested */
447 vcpu_args_set(vcpu, 3, bpn, wpn, ctx_bpn);
448 pr_debug("Use bpn#%d, wpn#%d and ctx_bpn#%d\n", bpn, wpn, ctx_bpn);