kvm_arch_vcpu_ctxsync_fp  568 arch/arm64/include/asm/kvm_host.h void kvm_arch_vcpu_ctxsync_fp(struct kvm_vcpu *vcpu);
kvm_arch_vcpu_ctxsync_fp  822 virt/kvm/arm/arm.c 		kvm_arch_vcpu_ctxsync_fp(vcpu);