Add kernel support for the VFP FPU/SIMD unit. Based on a diff by drahn@.

This allows us to use floating-pointer and vector instructions in userland
code.  The current implementation assumes all 32 VFP registers are present.
This should be the case on all armv7 hardware currently supported by
OpenBSD.

ok patrick@

diff --git a/sys/arch/armv7/exynos/ec_commands.h b/sys/arch/armv7/exynos/ec_commands.h
index 8dc2df0..e22a502 100644 (file)
--- a/sys/arch/armv7/exynos/ec_commands.h
+++ b/sys/arch/armv7/exynos/ec_commands.h
@@ -667,15 +667,15 @@ struct ec_params_lightbar {
                        /* no args */
                } dump, off, on, init, get_seq, get_params;
 
-               struct num {
+               struct {
                        uint8_t num;
                } brightness, seq, demo;
 
-               struct reg {
+               struct {
                        uint8_t ctrl, reg, value;
                } reg;
 
-               struct rgb {
+               struct {
                        uint8_t led, red, green, blue;
                } rgb;