Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/kernel/
A Dboot.c398 size_t pageable_start = (size_t)__pageable_start; in init_runtime() local
400 size_t pageable_size = pageable_end - pageable_start; in init_runtime()
528 tee_pager_add_pages(pageable_start, init_size / SMALL_PAGE_SIZE, false); in init_runtime()
529 tee_pager_add_pages(pageable_start + init_size, in init_runtime()

Completed in 4 milliseconds