Home
last modified time | relevance | path

Searched refs:tee_l2cc_store_mutex_boot_pa (Results 1 – 3 of 3) sorted by relevance

/optee_os/core/arch/arm/include/kernel/
H A Dtee_l2cc_mutex.h25 void tee_l2cc_store_mutex_boot_pa(uint32_t pa);
/optee_os/core/arch/arm/kernel/
H A Dtee_l2cc_mutex.c27 void tee_l2cc_store_mutex_boot_pa(uint32_t pa) in tee_l2cc_store_mutex_boot_pa() function
/optee_os/core/mm/
H A Dcore_mmu.c2759 tee_l2cc_store_mutex_boot_pa(virt_to_phys((void *)s)); in teecore_init_pub_ram()