PT1_PAGE_SHIFT
pt1_register_tables(pt1, pt1->tables[0].addr >> PT1_PAGE_SHIFT);
#define PT1_PAGE_SIZE (1 << PT1_PAGE_SHIFT)
BUG_ON(addr >> PT1_PAGE_SHIFT >> 31 >> 1);
*pfnp = addr >> PT1_PAGE_SHIFT;