Lines Matching refs:bpn
165 static void install_hw_bp(uint8_t bpn, uint64_t addr)
170 write_dbgbcr(bpn, bcr);
171 write_dbgbvr(bpn, addr);
237 static void guest_code(uint8_t bpn, uint8_t wpn, uint8_t ctx_bpn)
248 install_hw_bp(bpn, PC(hw_bp));
254 install_hw_bp(bpn, PC(bp_svc));
261 install_hw_bp(bpn, PC(bp_brk));
296 install_hw_bp(bpn, PC(hw_bp2));
326 install_hw_bp_ctx(bpn, ctx_bpn, PC(hw_bp_ctx), 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);