armv7: save vfp context (at least part of it)
[barrelfish] / include / arch / arm / barrelfish_kpi /
drwxr-xr-x   ..
-rw-r--r-- 1560 asm_inlines_arch.h
-rw-r--r-- 514 cpu_arch.h
-rw-r--r-- 1824 dispatcher_shared_arch.h
-rw-r--r-- 790 flags_arch.h
-rw-r--r-- 621 generic_arch.h
-rw-r--r-- 680 lmp_arch.h
-rw-r--r-- 704 paging_arch.h
-rw-r--r-- 3427 registers_arch.h
-rw-r--r-- 1462 spinlocks_arch.h
-rw-r--r-- 1173 unknown_arch.h