diff options
Diffstat (limited to 'src/rt/rust_kernel.cpp')
| -rw-r--r-- | src/rt/rust_kernel.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/rt/rust_kernel.cpp b/src/rt/rust_kernel.cpp index 33191c2f553..f8e7e41971e 100644 --- a/src/rt/rust_kernel.cpp +++ b/src/rt/rust_kernel.cpp @@ -84,7 +84,7 @@ rust_kernel::fail() { void rust_kernel::register_task(rust_task *task) { - int new_live_tasks; + uintptr_t new_live_tasks; { scoped_lock with(task_lock); task->user.id = max_task_id++; @@ -99,7 +99,7 @@ rust_kernel::register_task(rust_task *task) { void rust_kernel::release_task_id(rust_task_id id) { KLOG_("Releasing task %" PRIdPTR, id); - int new_live_tasks; + uintptr_t new_live_tasks; { scoped_lock with(task_lock); task_table.remove(id); |