kvm_arch_vcpu_put_fp  569 arch/arm64/include/asm/kvm_host.h void kvm_arch_vcpu_put_fp(struct kvm_vcpu *vcpu);
kvm_arch_vcpu_put_fp  414 virt/kvm/arm/arm.c 	kvm_arch_vcpu_put_fp(vcpu);