Rev 3467 | Go to most recent revision | Show entire file | Ignore 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; |
Line 99... | Line 99... | ||
99 | #endif /* !def __ASM__ */ |
99 | #endif /* !def __ASM__ */ |
100 | 100 | ||
101 | #endif |
101 | #endif |
102 | 102 | ||
103 | /** @} |
103 | /** @} |
104 | */ |
- | |
105 | 104 | */ |
|
- | 105 |