/branches/rcu/kernel/arch/amd64/include/types.h |
---|
62,6 → 62,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/amd64/include/asm.h |
---|
55,10 → 55,17 |
return v; |
} |
static inline void cpu_sleep(void) { __asm__ volatile ("hlt\n"); }; |
static inline void cpu_halt(void) { __asm__ volatile ("hlt\n"); }; |
static inline void cpu_sleep(void) |
{ |
asm volatile ("hlt\n"); |
}; |
static inline void cpu_halt(void) |
{ |
asm volatile ("hlt\n"); |
}; |
/** Byte from port |
* |
* Get byte from port |