_PAGE_PROTNONE
#define _PAGE_PROTNONE 0
#define _PAGE_PROTNONE (_ULCAST_(1) << _PAGE_PROTNONE_SHIFT)
#define _PAGE_PROTNONE 0x004
#define _PAGE_PROTNONE 0x200 /* software: if not present */
#define _PAGE_PROTNONE 0x010 /* if the user mapped it with PROT_NONE;
#define _PAGE_PROTNONE (_AT(pteval_t, 1) << _PAGE_BIT_PROTNONE)