. pci driver now returns devices, even when they have been pci_reserve()d
[minix3.git] / lib / float / dvf8.c
blobfafe50f53f2fcf4e418c8b8195c721b6e26f6369
1 /*
2 (c) copyright 1988 by the Vrije Universiteit, Amsterdam, The Netherlands.
3 See the copyright notice in the ACK home directory, in the file "Copyright".
4 */
6 /* $Header$ */
8 /*
9 DIVIDE TWO FLOATS - DOUBLE Precision (DVF 8)
12 #include "FP_types.h"
14 void
15 dvf8(s2,s1)
16 DOUBLE s1,s2;
18 EXTEND e1,e2;
20 extend(&s1.d[0],&e1,sizeof(DOUBLE));
21 extend(&s2.d[0],&e2,sizeof(DOUBLE));
23 /* do a divide */
24 div_ext(&e1,&e2);
25 compact(&e1,&s1.d[0],sizeof(DOUBLE));