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

/optee_os-3.20.0/core/arch/arm/kernel/
A D	boot.c	369 static void init_vcore(tee_mm_pool_t *mm_vcore) in init_vcore() argument 380 if (!tee_mm_init(mm_vcore, begin, size, SMALL_PAGE_SHIFT, in init_vcore()

Completed in 6 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023