Symbol: PTE_AVL1
sys/arch/amd64/include/pte.h
119
#define PTE_AVL1 0x0000000000000200 /* Ignored by Hardware */
sys/arch/i386/include/pte.h
171
#define PTE_AVL1 0x00000200 /* Ignored by Hardware */