. pci driver now returns devices, even when they have been pci_reserve()d
[minix3.git] / lib / ansi / difftime.c
blobed6e64cfe83f4c1171d46d21a37bf48639c61a9b
1 /*
2 * difftime - compute the difference between two calendar times
3 */
4 /* $Header$ */
6 #include <time.h>
8 double
9 difftime(time_t time1, time_t time0)
11 /* be careful: time_t may be unsigned */
12 if ((time_t)-1 > 0 && time0 > time1) {
13 return - (double) (time0 - time1);
14 } else {
15 return (double)(time1 - time0);