CVS: cvs.openbsd.org: src

[Mark Kettenis]

CVSROOT:        /cvs
Module name:    src
Changes by:     kette...@cvs.openbsd.org        2021/06/19 16:11:08

Modified files:
        sys/arch/riscv64/riscv64: fpu.c 

Log message:
Assert that fpu_load() only gets called with the FPU "off".

ok drahn@