Rev 391 | Rev 501 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 391 | Rev 413 | ||
---|---|---|---|
Line 38... | Line 38... | ||
38 | typedef unsigned int __u32; |
38 | typedef unsigned int __u32; |
39 | typedef unsigned long long __u64; |
39 | typedef unsigned long long __u64; |
40 | 40 | ||
41 | typedef __u64 __address; |
41 | typedef __u64 __address; |
42 | 42 | ||
43 | /* Flags of processor (return value of cpu_priority_high()) */ |
43 | /* Flags of processor (return value of interrupts_disable()) */ |
44 | typedef __u64 pri_t; |
44 | typedef __u64 ipl_t; |
45 | 45 | ||
46 | typedef __u64 __native; |
46 | typedef __u64 __native; |
47 | 47 | ||
48 | typedef struct page_specifier pte_t; |
48 | typedef struct page_specifier pte_t; |
49 | 49 |