Rev 3440 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3440 | Rev 3467 | ||
---|---|---|---|
Line 48... | Line 48... | ||
48 | 48 | ||
49 | #ifndef __ASM__ |
49 | #ifndef __ASM__ |
50 | 50 | ||
51 | #include <arch/types.h> |
51 | #include <arch/types.h> |
52 | 52 | ||
- | 53 | // TODO find out what this means |
|
53 | #define VA_TAG_PAGE_SHIFT 22 |
54 | #define VA_TAG_PAGE_SHIFT 22 |
54 | 55 | ||
55 | /** Translation Table Entry - Tag. */ |
56 | /** Translation Table Entry - Tag. */ |
56 | union tte_tag { |
57 | union tte_tag { |
57 | uint64_t value; |
58 | uint64_t value; |