Symbol: PTE_AVL3
sys/arch/amd64/include/pte.h
121
#define PTE_AVL3 0x0000000000000800 /* Ignored by Hardware */
sys/arch/i386/include/pte.h
173
#define PTE_AVL3 0x00000800 /* Ignored by Hardware */