__disable_ibs_on_vcpu 4143 arch/s390/kvm/kvm-s390.c __disable_ibs_on_vcpu(vcpu); __disable_ibs_on_vcpu 4211 arch/s390/kvm/kvm-s390.c __disable_ibs_on_vcpu(vcpu);