Searched refs:ttb1 (Results 1 – 1 of 1) sorted by relevance
736 void *ttb1 = (void *)core_mmu_get_main_ttb_va(prtn); in core_init_mmu_prtn() local740 memset(ttb1, 0, L1_TBL_SIZE); in core_init_mmu_prtn()
Completed in 4 milliseconds