Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/mm/
A Dcore_mmu_v7.c736 void *ttb1 = (void *)core_mmu_get_main_ttb_va(prtn); in core_init_mmu_prtn() local
740 memset(ttb1, 0, L1_TBL_SIZE); in core_init_mmu_prtn()

Completed in 3 milliseconds