Symbol: __fpsimd_save_fpexc32
arch/arm64/kvm/hyp/nvhe/switch.c
354
__fpsimd_save_fpexc32(vcpu);
arch/arm64/kvm/hyp/vhe/switch.c
624
__fpsimd_save_fpexc32(vcpu);