Symbol: kvm_arch_vcpu_put_fp
arch/arm64/include/asm/kvm_host.h
1442
void kvm_arch_vcpu_put_fp(struct kvm_vcpu *vcpu);
arch/arm64/kvm/arm.c
718
kvm_arch_vcpu_put_fp(vcpu);