/*- * This file is in the public domain. * * $FreeBSD: releng/12.1/sys/arm64/include/fpu.h 324494 2017-10-10 13:02:58Z andrew $ */ #include