Home
last modified time | relevance | path

Searched refs:icache_inv_user_range (Results 1 – 4 of 4) sorted by relevance

/optee_os/core/include/kernel/
H A Dcache_helpers.h27 void icache_inv_user_range(void *addr, size_t size);
/optee_os/core/arch/arm/kernel/
H A Dthread_a32.S916 .global icache_inv_user_range symbol
917 .type icache_inv_user_range , %function
918 icache_inv_user_range: label
H A Dthread_a64.S709 .global icache_inv_user_range symbol
710 .type icache_inv_user_range , %function
711 icache_inv_user_range: label
/optee_os/core/arch/arm/mm/
H A Dtee_pager.c1165 icache_inv_user_range(va, SMALL_PAGE_SIZE); in tee_pager_set_um_region_attr()
1267 icache_inv_user_range(va, SMALL_PAGE_SIZE); in tee_pager_unhide_page()
1451 icache_inv_user_range(va, SMALL_PAGE_SIZE); in pager_deploy_page()