Searched refs:tee_pager_early_init (Results 1 – 3 of 3) sorted by relevance
23 void tee_pager_early_init(void);
473 tee_pager_early_init(); in init_runtime()
532 void tee_pager_early_init(void) in tee_pager_early_init() function
Completed in 9 milliseconds