Searched refs:cache_i (Results 1 – 1 of 1) sorted by relevance
127 uint32_t cache_i; in px_mmu_attach() local136 cache_i = tsb_i / px_dvma_page_cache_clustsz; in px_mmu_attach()137 ASSERT(cache_i < px_dvma_page_cache_entries); in px_mmu_attach()138 mmu_p->mmu_dvma_cache_locks[cache_i] = 0xFF; in px_mmu_attach()