pgt_init (reference) in projects: optee_os-3.20.0

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

/optee_os-3.20.0/core/include/mm/
A D	pgt_cache.h	`98 static inline void pgt_init(void) { } in pgt_init() function 100 void pgt_init(void);`
/optee_os-3.20.0/core/arch/arm/mm/
A D	pgt_cache.c	`366 void pgt_init(void) in pgt_init() function 382 void pgt_init(void) in pgt_init() function 406 void pgt_init(void) in pgt_init() function`
/optee_os-3.20.0/core/kernel/
A D	thread.c	`449 pgt_init(); in thread_init_threads()`

Completed in 7 milliseconds