Rev 1021 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1021 | 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 uint64_t __u64; |
4 | typedef uint64_t uint64_t; |
5 | typedef __u64 ipl_t; |
5 | typedef uint64_t ipl_t; |
6 | typedef __u64 __address; |
6 | typedef uint64_t uintptr_t; |
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" |
10 | 10 | ||
11 | #define FILENAME "../../arch/amd64/include/context_offset.h" |
11 | #define FILENAME "../../arch/amd64/include/context_offset.h" |