_PAGE_USER_BIT
#define PTE_SHIFT xlate_pabit(_PAGE_USER_BIT)
#define _PAGE_USER (1 << xlate_pabit(_PAGE_USER_BIT))