Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/kernel/
A Dboot.c400 size_t pageable_size = pageable_end - pageable_start; in init_runtime() local
402 size_t hash_size = (pageable_size / SMALL_PAGE_SIZE) * in init_runtime()
411 assert(pageable_size % SMALL_PAGE_SIZE == 0); in init_runtime()
444 mm = tee_mm_alloc(&tee_mm_sec_ddr, pageable_size); in init_runtime()
447 pageable_size); in init_runtime()
468 for (n = 0; (n * SMALL_PAGE_SIZE) < pageable_size; n++) { in init_runtime()
520 pageable_size); in init_runtime()
530 (pageable_size - init_size) / SMALL_PAGE_SIZE, in init_runtime()

Completed in 4 milliseconds