d/freebsd-skq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add the hw.floatingpoint sysctl to ARM to tell us if we have vfp support

Browse Source 
in the kernel and the hardware includes a vfp unit.
This commit is contained in:
andrew 2013-04-05 23:35:23 +00:00
parent f220c315bb
commit ab63899902
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
sys/arm/arm/machdep.c
View File

@ -183,6 +183,10 @@ SYSCTL_UINT(_hw_board, OID_AUTO, revision, CTLFLAG_RD,
SYSCTL_STRING(_hw_board, OID_AUTO, serial, CTLFLAG_RD,
board_serial, 0, "Board serial");
int vfp_exists;
SYSCTL_INT(_hw, HW_FLOATINGPT, floatingpoint, CTLFLAG_RD,
&vfp_exists, 0, "Floating point support enabled");
void
board_set_serial(uint64_t serial)
{

2
sys/arm/arm/vfp.c
View File

@ -47,7 +47,7 @@ void vfp_restore(struct vfp_state *);
void vfp_store(struct vfp_state *);
void set_coprocessorACR(u_int);
boolean_t vfp_exists;
extern int vfp_exists;
static struct undefined_handler vfp10_uh, vfp11_uh;
/* The VFMXR command using coprocessor commands */