Home
last modified time | relevance | path

Searched refs:id_map_start (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
1063 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() local
1133 id_map_start, id_map_end)) { in init_mem_map()

Completed in 6 milliseconds