Rev 2071 | Rev 2231 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2071 | Rev 2089 | ||
---|---|---|---|
Line 74... | Line 74... | ||
74 | #include <arch/mm/mmu.h> |
74 | #include <arch/mm/mmu.h> |
75 | #include <arch/mm/page.h> |
75 | #include <arch/mm/page.h> |
76 | #include <arch/asm.h> |
76 | #include <arch/asm.h> |
77 | #include <arch/barrier.h> |
77 | #include <arch/barrier.h> |
78 | #include <arch/types.h> |
78 | #include <arch/types.h> |
79 | #include <typedefs.h> |
- | |
80 | 79 | ||
81 | union tlb_context_reg { |
80 | union tlb_context_reg { |
82 | uint64_t v; |
81 | uint64_t v; |
83 | struct { |
82 | struct { |
84 | unsigned long : 51; |
83 | unsigned long : 51; |