kvm_reset_coprocs   10 arch/arm/include/asm/kvm_coproc.h void kvm_reset_coprocs(struct kvm_vcpu *vcpu);
kvm_reset_coprocs   49 arch/arm/include/asm/kvm_host.h void kvm_reset_coprocs(struct kvm_vcpu *vcpu);
kvm_reset_coprocs   59 arch/arm/kvm/reset.c 	kvm_reset_coprocs(vcpu);