_PAGE_PA_MAX
#define H_PAGE_F_GIX_SHIFT _PAGE_PA_MAX
#define PTE_RPN_MASK (((1UL << _PAGE_PA_MAX) - 1) & (PAGE_MASK))