/* * PG_AVAIL usage: we make use of the ignored bits of the PTE */