Symbol: save_guest_fpustate
sys/amd64/vmm/vmm.c
1164
save_guest_fpustate(vcpu);
sys/arm64/vmm/vmm.c
1025
save_guest_fpustate(vcpu);
sys/riscv/vmm/vmm.c
707
save_guest_fpustate(vcpu);