Searched refs:init_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() function 537 init_vcore(&tee_mm_vcore); in init_runtime()

Completed in 5 milliseconds

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