update

[l4.git] / l4 / pkg / libc_backends / lib / misc / misc.c

diff --git a/l4/pkg/libc_backends/lib/misc/misc.c b/l4/pkg/libc_backends/lib/misc/misc.c
index e407f416e413392a564536ffde1370900d3ee2e5..aab1761b6a42a0ee5b21701f46d444471f78eac9 100644 (file)
--- a/l4/pkg/libc_backends/lib/misc/misc.c
+++ b/l4/pkg/libc_backends/lib/misc/misc.c
@@ -141,11 +141,11 @@ int timer_create (clockid_t __clock_id,
 clock_t times(struct tms *buf)
 {
   // some arbitrary values
-  buf->tms_utime = (clock_t)l4re_kip()->clock;
+  buf->tms_utime = (clock_t)l4_kip_clock(l4re_kip());
   buf->tms_stime = 10;
   buf->tms_cutime = 0;
   buf->tms_cstime = 0;
-  return (clock_t)l4re_kip()->clock;
+  return (clock_t)l4_kip_clock(l4re_kip());
 }