Symbol: PG_AVAIL2
sys/arch/amd64/include/pte.h
122
#define PG_AVAIL2 0x0000000000000400UL
sys/arch/i386/include/pte.h
66
#define PG_AVAIL2 0x00000400 /* ignored by hardware */