ibs_enabled      3523 arch/s390/kvm/kvm-s390.c 		if (!ibs_enabled(vcpu)) {
ibs_enabled      3531 arch/s390/kvm/kvm-s390.c 		if (ibs_enabled(vcpu)) {