Symbol: PTE_AVL2
sys/arch/amd64/include/pte.h
120
#define PTE_AVL2 0x0000000000000400 /* Ignored by Hardware */
sys/arch/i386/include/pte.h
172
#define PTE_AVL2 0x00000400 /* Ignored by Hardware */