Rev 3467 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3467 | Rev 3489 | ||
---|---|---|---|
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 | /* TTE tag's VA_tag field contains bits <63:VA_TAG_PAGE_SHIFT> of the VA */ |
54 | #define VA_TAG_PAGE_SHIFT 22 |
54 | #define VA_TAG_PAGE_SHIFT 22 |
55 | 55 | ||
56 | /** Translation Table Entry - Tag. */ |
56 | /** Translation Table Entry - Tag. */ |
57 | union tte_tag { |
57 | union tte_tag { |
58 | uint64_t value; |
58 | uint64_t value; |