Searched refs:tee_pager_alloc (Results 1 – 4 of 4) sorted by relevance
215 void *tee_pager_alloc(size_t size);
373 p->tbl = tee_pager_alloc(PGT_SIZE); in pgt_init()391 uint8_t *tbl = tee_pager_alloc(SMALL_PAGE_SIZE); in pgt_init()
1997 void *tee_pager_alloc(size_t size) in tee_pager_alloc() function
37 data = tee_pager_alloc(size); in get_mp_scratch_memory_pool()
Completed in 10 milliseconds