| /branches/dd/kernel/generic/include/typedefs.h |
|---|
| 35,8 → 35,26 |
| #ifndef KERN_TYPEDEFS_H_ |
| #define KERN_TYPEDEFS_H_ |
| #include <arch/types.h> |
| #define NULL 0 |
| #define false 0 |
| #define true 1 |
| typedef void (* function)(); |
| typedef uint8_t bool; |
| typedef uint64_t thread_id_t; |
| typedef uint64_t task_id_t; |
| typedef uint32_t context_id_t; |
| typedef int32_t inr_t; |
| typedef int32_t devno_t; |
| typedef volatile uint8_t ioport8_t; |
| typedef volatile uint16_t ioport16_t; |
| typedef volatile uint32_t ioport32_t; |
| #endif |
| /** @} |