diff options
Diffstat (limited to 'src/include/kernel/types.h')
-rw-r--r-- | src/include/kernel/types.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/include/kernel/types.h b/src/include/kernel/types.h index c994308c2..056486b4a 100644 --- a/src/include/kernel/types.h +++ b/src/include/kernel/types.h @@ -3,7 +3,8 @@ #include <stdint.h> -typedef uint64_t tid_t; +typedef uint16_t tid_t; // This is 16-bit for the VMM mapping of + // stacks. See VmmManager. struct task_t; typedef uint64_t cpuid_t; |