Symbol: fpe_restore
sys/riscv/include/fpe.h
45
void fpe_restore(struct fpreg *state);
sys/riscv/vmm/vmm.c
402
fpe_restore(vcpu->guestfpu);