Rev 1160 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1160 | Rev 1780 | ||
|---|---|---|---|
| Line 1... | Line 1... | ||
| 1 | #include <stdio.h> |
1 | #include <stdio.h> |
| 2 | #include <stdint.h> |
2 | #include <stdint.h> |
| 3 | 3 | ||
| 4 | typedef uint32_t __u32; |
4 | typedef uint32_t uint32_t; |
| 5 | typedef uint64_t __u64; |
5 | typedef uint64_t uint64_t; |
| 6 | typedef __u64 ipl_t; |
6 | typedef uint64_t ipl_t; |
| 7 | typedef __u64 __address; |
7 | typedef uint64_t uintptr_t; |
| 8 | 8 | ||
| 9 | #define __ppc64_TYPES_H__ |
9 | #define __ppc64_TYPES_H__ |
| 10 | #include "../../arch/ppc64/include/context.h" |
10 | #include "../../arch/ppc64/include/context.h" |
| 11 | #include "../../arch/ppc64/include/fpu_context.h" |
11 | #include "../../arch/ppc64/include/fpu_context.h" |
| 12 | 12 | ||