synch with arch specific stdc update. use the correct types when accessing the fpu...
[AROS.git] / arch / all-freebsd / 
tree87170132afddc69879641db8cf2d57f6cafdaca6
drwxr-xr-x   ..
drwxr-xr-x - kernel