link_ptp
static void link_ptp(htable_t *higher, htable_t *new, uintptr_t vaddr);
link_ptp(higher, ht, base);