KVM_REQ_VCPU_RESET  660 virt/kvm/arm/arm.c 		if (kvm_check_request(KVM_REQ_VCPU_RESET, vcpu))
KVM_REQ_VCPU_RESET  134 virt/kvm/arm/psci.c 	kvm_make_request(KVM_REQ_VCPU_RESET, vcpu);