Symbol: kvm_arch_vcpu_ioctl_normal_reset
arch/s390/kvm/kvm-s390.c
3975
kvm_arch_vcpu_ioctl_normal_reset(vcpu);
arch/s390/kvm/kvm-s390.c
5461
kvm_arch_vcpu_ioctl_normal_reset(vcpu);