_PAGE_BIT_PRESENT
#define _SWP_TYPE_SHIFT (_PAGE_BIT_PRESENT + 1)
#define _PAGE_PRESENT (_AT(pteval_t, 1) << _PAGE_BIT_PRESENT)