diff options
| author | Patrick Williams <iawillia@us.ibm.com> | 2010-07-02 13:25:57 -0500 |
|---|---|---|
| committer | Patrick Williams <iawillia@us.ibm.com> | 2010-07-02 13:25:57 -0500 |
| commit | 0a157437c294f2f3a244e0125e673b3791529052 (patch) | |
| tree | 8bc431bc78fd38258c0047feeb7503e47423e802 /src/include/kernel/types.h | |
| parent | 419ee15eddec34322a9d44a7b9099494fb2ff0c7 (diff) | |
| download | talos-hostboot-0a157437c294f2f3a244e0125e673b3791529052.tar.gz talos-hostboot-0a157437c294f2f3a244e0125e673b3791529052.zip | |
Start virtual memory management.
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; |
