X86_PG_AVAIL1
if ((p & X86_PG_AVAIL1) != 0) {
(p & ~X86_PG_M) | X86_PG_AVAIL1))
atomic_clear_long(pe, X86_PG_AVAIL1);
#define PG_AVAIL1 X86_PG_AVAIL1