_PAGE_EXT
prot |= _PAGE_EXT(_PAGE_EXT_KERN_READ | _PAGE_EXT_USER_READ);
prot |= _PAGE_EXT(_PAGE_EXT_KERN_WRITE | _PAGE_EXT_USER_WRITE);
# define _PAGE_FLAGS_HARD _PAGE_EXT(_PAGE_EXT_ESZ0)
# define _PAGE_FLAGS_HARD _PAGE_EXT(_PAGE_EXT_ESZ1)
# define _PAGE_FLAGS_HARD _PAGE_EXT(_PAGE_EXT_ESZ2)
# define _PAGE_WIRED (_PAGE_EXT(_PAGE_EXT_WIRED))
_PAGE_EXT(_PAGE_EXT_KERN_READ | \
_PAGE_EXT(_PAGE_EXT_KERN_EXEC | \
_PAGE_EXT(_PAGE_EXT_KERN_READ | \
_PAGE_EXT(_PAGE_EXT_KERN_WRITE | \
_PAGE_EXT(_PAGE_EXT_KERN_WRITE | \
_PAGE_EXT(_PAGE_EXT_KERN_READ | \
_PAGE_EXT(_PAGE_EXT_KERN_READ | \
_PAGE_EXT(_PAGE_EXT_KERN_READ | \