hat_kmap_init
hat_kmap_init((uintptr_t)segmap_start, size);
extern void hat_kmap_init(uintptr_t base, size_t len);