Symbol: restore_guest_fpustate
sys/amd64/vmm/vmm.c
1158
restore_guest_fpustate(vcpu);
sys/arm64/vmm/vmm.c
1019
restore_guest_fpustate(vcpu);
sys/riscv/vmm/vmm.c
701
restore_guest_fpustate(vcpu);