port to 32 bit x86 linux

[nbds] / runtime / lwt.c

diff --git a/runtime/lwt.c b/runtime/lwt.c
index 0c3147fe5f18489b9ccef75e6a6c10994d15fea7..c25fd95d5048626c07a497052cceaa0e6141960c 100644 (file)
--- a/runtime/lwt.c
+++ b/runtime/lwt.c
@@ -19,8 +19,8 @@ volatile int halt_ = 0;
 typedef struct lwt_record {
     uint64_t timestamp;
     uint64_t format;
-    uint64_t value1;
-    uint64_t value2;
+    size_t value1;
+    size_t value2;
 } lwt_record_t;
 
 typedef struct lwt_buffer {
@@ -51,7 +51,7 @@ void lwt_set_trace_level (const char *flags)
     }
 }
 
-static inline void dump_record (FILE *file, int thread_id, lwt_record_t *r, uint64_t offset)
+static void dump_record (FILE *file, int thread_id, lwt_record_t *r, uint64_t offset)
 {
     // print the record if its trace category is enabled at a high enough level
     int flag  =  r->format >> 56;