kvm_vcpu_put_sysregs  666 arch/arm64/include/asm/kvm_host.h void kvm_vcpu_put_sysregs(struct kvm_vcpu *vcpu);
kvm_vcpu_put_sysregs  415 virt/kvm/arm/arm.c 	kvm_vcpu_put_sysregs(vcpu);