Searched refs:tee_pager_release_phys (Results 1 – 5 of 5) sorted by relevance
248 void tee_pager_release_phys(void *addr, size_t size);250 static inline void tee_pager_release_phys(void *addr __unused, in tee_pager_release_phys() function
448 tee_pager_release_phys(p->tbl, PGT_SIZE); in push_to_free_list()482 tee_pager_release_phys((void *)va, SMALL_PAGE_SIZE); in push_to_free_list()
456 tee_pager_release_phys( in thread_state_free()490 tee_pager_release_phys((void *)base, len); in release_unused_kernel_stack()
41 return mempool_alloc_pool(data, size, tee_pager_release_phys); in get_mp_scratch_memory_pool()
1969 void tee_pager_release_phys(void *addr, size_t size) in tee_pager_release_phys() function1995 DECLARE_KEEP_PAGER(tee_pager_release_phys);