ht_create 48 kernel/genarch/src/mm/as_ht.c static pte_t *ht_create(unsigned int); ht_create 56 kernel/genarch/src/mm/as_ht.c .page_table_create = ht_create,