Symbol: PG_AVAIL1
sys/arch/amd64/include/pte.h
121
#define PG_AVAIL1 0x0000000000000200UL
sys/arch/i386/include/pte.h
65
#define PG_AVAIL1 0x00000200 /* ignored by hardware */