Home
last modified time | relevance | path

Searched refs:id_map_end (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/arch/arm/mm/
A Dcore_mmu.c1060 vaddr_t id_map_start, vaddr_t id_map_end) in mem_map_add_id_map() argument
1064 vaddr_t end = ROUNDUP(id_map_end, SMALL_PAGE_SIZE); in mem_map_add_id_map()
1104 vaddr_t id_map_end = (vaddr_t)__identity_map_init_end; in init_mem_map() local
1133 id_map_start, id_map_end)) { in init_mem_map()

Completed in 7 milliseconds