Symbol: PG_AVAIL3
sys/arch/amd64/include/pte.h
123
#define PG_AVAIL3 0x0000000000000800UL
sys/arch/i386/include/pte.h
67
#define PG_AVAIL3 0x00000800 /* ignored by hardware */