Symbol: guestdbg_hw_bp_enabled
arch/s390/kvm/guestdbg.c
162
if (guestdbg_hw_bp_enabled(vcpu)) {
arch/s390/kvm/guestdbg.c
392
if (guestdbg_hw_bp_enabled(vcpu)) {