| /branches/rcu/kernel/arch/ia64/include/types.h |
|---|
| 70,6 → 70,7 |
| typedef int64_t native_t; |
| typedef uint8_t bool; |
| typedef uint64_t thread_id_t; |
| typedef uint64_t task_id_t; |
| typedef uint32_t context_id_t; |
| /branches/rcu/kernel/arch/ia64/src/ia64.c |
|---|
| 176,5 → 176,11 |
| #endif |
| } |
| void arch_reboot(void) |
| { |
| // TODO |
| while (1); |
| } |
| /** @} |
| */ |