kvm_arm_set_running_vcpu  387 virt/kvm/arm/arm.c 	kvm_arm_set_running_vcpu(vcpu);
kvm_arm_set_running_vcpu  422 virt/kvm/arm/arm.c 	kvm_arm_set_running_vcpu(NULL);