Searched refs:id_map_start (Results 1 – 1 of 1) sorted by relevance
1456 vaddr_t id_map_start, vaddr_t id_map_end) in mem_map_add_id_map() argument1458 vaddr_t start = ROUNDDOWN(id_map_start, SMALL_PAGE_SIZE); in mem_map_add_id_map()1496 vaddr_t id_map_start = (vaddr_t)__identity_map_init_start; in init_mem_map() local1521 mem_map_add_id_map(mem_map, id_map_start, in init_mem_map()