+2008-09-17 Mark Wielaard <mjw@redhat.com>
+
+ * timer.c: Timer id can be arbitrary number.
+
2008-09-17 Mark Wielaard <mjw@redhat.com>
* swap.c: Don't try including unnecessary asm/page.h.
// timer_create (CLOCK_REALTIME, 0x[0]+, XXXX)
syscall(SYS_timer_gettime, tid, &val);
- // timer_gettime (0, XXXX)
+ // timer_gettime (NNNN, XXXX)
syscall(SYS_timer_settime, 0, tid, &val, &oval);
- // timer_settime (0, 0, \[0.000000,0.000000\], XXXX)
+ // timer_settime (0, NNNN, \[0.000000,0.000000\], XXXX)
syscall(SYS_timer_getoverrun, tid);
- // timer_getoverrun (0)
+ // timer_getoverrun (NNNN)
syscall(SYS_timer_delete, tid);
- // timer_delete (0)
+ // timer_delete (NNNN)
return 0;
}