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

/optee_os/core/arch/arm/kernel/
A D	boot.c	325 static void init_vcore(tee_mm_pool_t *mm_vcore) in init_vcore() function 492 init_vcore(&tee_mm_vcore); in init_runtime()

Completed in 4 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023