guestdbg_hw_bp_enabled  162 arch/s390/kvm/guestdbg.c 	if (guestdbg_hw_bp_enabled(vcpu)) {
guestdbg_hw_bp_enabled  396 arch/s390/kvm/guestdbg.c 	if (guestdbg_hw_bp_enabled(vcpu)) {