Searched refs:id_map_start (Results 1 – 1 of 1) sorted by relevance
1060 vaddr_t id_map_start, vaddr_t id_map_end) in mem_map_add_id_map() argument1063 vaddr_t start = ROUNDDOWN(id_map_start, SMALL_PAGE_SIZE); in mem_map_add_id_map()1103 vaddr_t id_map_start = (vaddr_t)__identity_map_init_start; in init_mem_map() local1133 id_map_start, id_map_end)) { in init_mem_map()
Completed in 6 milliseconds