com32: change clock_t to 32 bits, and in milliseconds

Previously, clock_t was 16 bits and counted timer ticks, now make it
32 bits and count milliseconds.

Signed-off-by: H. Peter Anvin <hpa@zytor.com>

1 files changed, 3 insertions, 5 deletions

diff --git a/com32/lib/sys/times.c b/com32/lib/sys/times.c
index 12ed671c..dd063f37 100644
--- a/com32/lib/sys/times.c
+++ b/com32/lib/sys/times.c
@@ -32,13 +32,11 @@
  */
 
 #include <sys/times.h>
-#include <inttypes.h>
+#include <syslinux/pmapi.h>
 #include <com32.h>
 
 clock_t times(struct tms * buf)
 {
-    (void)buf;			/* Ignored */
-
-    /* Should we get this via INT 1Ah? */
-    return *(uint16_t *) 0x46c;
+    (void)buf;
+    return *__com32.cs_pm->ms_timer;
 }