freebsd-dev/sys/riscv/include/floatingpoint.h