| /branches/rcu/kernel/arch/ia32/include/types.h |
|---|
| 62,6 → 62,7 |
| typedef int32_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/ia32/include/asm.h |
|---|
| 59,12 → 59,12 |
| */ |
| static inline void cpu_halt(void) |
| { |
| asm("hlt\n"); |
| asm volatile ("hlt\n"); |
| }; |
| static inline void cpu_sleep(void) |
| { |
| asm("hlt\n"); |
| asm volatile ("hlt\n"); |
| }; |
| #define GEN_READ_REG(reg) static inline unative_t read_ ##reg (void) \ |