From 1a5248bb177242a34fd51efadb4af941853d5e35 Mon Sep 17 00:00:00 2001 From: Kimplul Date: Thu, 21 Apr 2022 19:38:45 +0300 Subject: use uint64_t for timer ticks + GCC seems to provide this even on 32bit platforms, though I should really check. --- common/uapi/dispatch.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'common/uapi/dispatch.c') diff --git a/common/uapi/dispatch.c b/common/uapi/dispatch.c index 3b03c43..e6c334a 100644 --- a/common/uapi/dispatch.c +++ b/common/uapi/dispatch.c @@ -8,7 +8,8 @@ static const sys_t syscall_table[] = { [SYS_FREE_MEM] = sys_free_mem, /* timers */ - [SYS_REQ_TIMER] = sys_req_timer, + [SYS_REQ_REL_TIMER] = sys_req_rel_timer, + [SYS_REQ_ABS_TIMER] = sys_req_abs_timer, [SYS_FREE_TIMER] = sys_free_timer, /* ipc */ -- cgit v1.3