Assert that fpu_load() only gets called with the FPU "off".
authorkettenis <kettenis@openbsd.org>
Sat, 19 Jun 2021 22:11:08 +0000 (22:11 +0000)
committerkettenis <kettenis@openbsd.org>
Sat, 19 Jun 2021 22:11:08 +0000 (22:11 +0000)
commit390fd979acf145eefbe97f3a94db4951b739fe35
tree6d742612bb03200d7070a25b9052f8b49d5c7f9e
parentc30c1fce90943b168ce91a38c5071a13dfbe7361
Assert that fpu_load() only gets called with the FPU "off".

ok drahn@
sys/arch/riscv64/riscv64/fpu.c