ptable_alloc
ht->ht_pfn = ptable_alloc((uintptr_t)ht);
hat->hat_user_ptable = ptable_alloc((uintptr_t)ht + 1);