Searched refs:tee_pager_early_init (Results 1 – 3 of 3) sorted by relevance
23 void tee_pager_early_init(void);
504 tee_pager_early_init(); in init_pager_runtime()
532 void tee_pager_early_init(void) in tee_pager_early_init() function