Add kernel support for the VFP FPU/SIMD unit. Based on a diff by drahn@.
authorkettenis <kettenis@openbsd.org>
Fri, 26 Jan 2018 16:22:19 +0000 (16:22 +0000)
committerkettenis <kettenis@openbsd.org>
Fri, 26 Jan 2018 16:22:19 +0000 (16:22 +0000)
commitc7b5578a715ca65ee46f2c1c48fca8629620c8ce
treeec08821b717df42a4e5f0904670f6c9934b257a1
parent5c3f5f3a5898a3810a42d0a76c9d2f49f40de3d2
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@
13 files changed:
sys/arch/arm/arm/cpu.c
sys/arch/arm/arm/exception.S
sys/arch/arm/arm/fault.c
sys/arch/arm/arm/irq_dispatch.S
sys/arch/arm/arm/syscall.c
sys/arch/arm/arm/undefined.c
sys/arch/arm/arm/vfp.c [new file with mode: 0644]
sys/arch/arm/arm/vm_machdep.c
sys/arch/arm/conf/files.arm
sys/arch/arm/include/cpu.h
sys/arch/arm/include/fp.h
sys/arch/arm/include/pcb.h
sys/arch/arm/include/vfp.h [new file with mode: 0644]