diff options
Diffstat (limited to 'src/include/kernel/types.h')
| -rw-r--r-- | src/include/kernel/types.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/include/kernel/types.h b/src/include/kernel/types.h new file mode 100644 index 000000000..c994308c2 --- /dev/null +++ b/src/include/kernel/types.h @@ -0,0 +1,12 @@ +#ifndef __KERNEL_TYPES_H +#define __KNERLE_TYPES_H + +#include <stdint.h> + +typedef uint64_t tid_t; +struct task_t; + +typedef uint64_t cpuid_t; +struct cpu_t; + +#endif |
