Rev 799 | Rev 1021 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 799 | Rev 859 | ||
|---|---|---|---|
| Line 1... | Line 1... | ||
| 1 | #include <stdio.h> |
1 | #include <stdio.h> |
| - | 2 | #include <stdint.h> |
|
| 2 | 3 | ||
| 3 | - | ||
| 4 | typedef long long __u64; |
4 | typedef uint64_t __u64; |
| 5 | typedef __u64 ipl_t; |
5 | typedef __u64 ipl_t; |
| 6 | typedef __u64 __address; |
6 | typedef __u64 __address; |
| 7 | 7 | ||
| 8 | #define __amd64_TYPES_H__ |
8 | #define __amd64_TYPES_H__ |
| 9 | #include "../../arch/amd64/include/context.h" |
9 | #include "../../arch/amd64/include/context.h" |