Symbol: kvm_arch_vcpu_ioctl_initial_reset
arch/s390/kvm/kvm-s390.c
4021
kvm_arch_vcpu_ioctl_initial_reset(vcpu);
arch/s390/kvm/kvm-s390.c
5450
kvm_arch_vcpu_ioctl_initial_reset(vcpu);