Symbol: fpsimd_lazy_switch_to_guest
arch/arm64/kvm/hyp/nvhe/hyp-main.c
234
fpsimd_lazy_switch_to_guest(vcpu);
arch/arm64/kvm/hyp/vhe/switch.c
581
fpsimd_lazy_switch_to_guest(vcpu);