(__get_clockfreq): Use hp_timint_t type.
authordrepper <drepper>
Mon, 23 Apr 2001 18:47:09 +0000 (18:47 +0000)
committerdrepper <drepper>
Mon, 23 Apr 2001 18:47:09 +0000 (18:47 +0000)
sysdeps/unix/sysv/linux/i386/get_clockfreq.c

index 4d7303a..3caf66c 100644 (file)
@@ -24,7 +24,7 @@
 #include <libc-internal.h>
 
 
-unsigned long long int
+hp_timing_t
 __get_clockfreq (void)
 {
   /* We read the information from the /proc filesystem.  It contains at
@@ -33,7 +33,7 @@ __get_clockfreq (void)
      or also
        cpu MHz         : 497.841
      We search for this line and convert the number in an integer.  */
-  static unsigned long long int result;
+  static hp_timing_t result;
   int fd;
 
   /* If this function was called before, we know the result.  */