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