. pci driver now returns devices, even when they have been pci_reserve()d
[minix3.git] / lib / gnu / ieee_float / 
tree2cfaba6156112e56ebfad75e3c1a36153e513704
drwxr-xr-x   ..
-rw-r--r-- 125 Makefile.in
-rwxr-xr-x 3607 fphook.c
-rw-r--r-- 1021 frexp.c
-rw-r--r-- 1273 ieee_float.h
-rw-r--r-- 542 isinf.c
-rw-r--r-- 542 isnan.c
-rw-r--r-- 1717 ldexp.c
-rw-r--r-- 966 modf.c