Go to the documentation of this file.
4 #define _PAGE_HASHPTE 0x0400
5 #define _PAGE_SECONDARY 0x8000
6 #define _PAGE_GROUP_IX 0x7000
7 #define _PAGE_F_SECOND _PAGE_SECONDARY
8 #define _PAGE_F_GIX _PAGE_GROUP_IX
9 #define _PAGE_SPECIAL 0x10000
12 #define _PAGE_HPTEFLAGS (_PAGE_BUSY | _PAGE_HASHPTE | \
13 _PAGE_SECONDARY | _PAGE_GROUP_IX)
16 #define PTE_RPN_SHIFT (17)