Rev 3635 | Rev 4490 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3635 | Rev 3940 | ||
---|---|---|---|
Line 33... | Line 33... | ||
33 | */ |
33 | */ |
34 | 34 | ||
35 | #ifndef KERN_ia64_TLB_H_ |
35 | #ifndef KERN_ia64_TLB_H_ |
36 | #define KERN_ia64_TLB_H_ |
36 | #define KERN_ia64_TLB_H_ |
37 | 37 | ||
38 | #define tlb_arch_init() |
- | |
39 | #define tlb_print() |
- | |
40 | - | ||
41 | #include <arch/mm/page.h> |
38 | #include <arch/mm/page.h> |
42 | #include <arch/mm/asid.h> |
39 | #include <arch/mm/asid.h> |
43 | #include <arch/interrupt.h> |
40 | #include <arch/interrupt.h> |
44 | #include <arch/types.h> |
41 | #include <arch/types.h> |
45 | 42 |