35,10 → 35,6 |
#ifndef KERN_ppc64_TYPES_H_ |
#define KERN_ppc64_TYPES_H_ |
|
#define NULL 0 |
#define false 0 |
#define true 1 |
|
typedef signed char int8_t; |
typedef signed short int16_t; |
typedef signed int int32_t; |
61,14 → 57,6 |
typedef uint64_t unative_t; |
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; |
|
typedef int32_t inr_t; |
typedef int32_t devno_t; |
|
/** Page Table Entry. */ |
typedef struct { |
unsigned p : 1; /**< Present bit. */ |