htable_attach
htable_attach(hat, base, level - 1,
extern void htable_attach(struct hat *, uintptr_t, level_t, struct htable *,
htable_attach(kas.a_hat, 0, mmu.max_level, NULL,