Searched refs:mmu_tlb_set_index (Results 1 – 2 of 2) sorted by relevance
72 mmu_tlb_set_index(index); in mmu_tlb_write_indexed()95 mmu_tlb_set_index(index); in mmu_tlb_read()191 void mmu_tlb_set_index(uint32_t index) in mmu_tlb_set_index() function
93 void mmu_tlb_set_index(uint32_t index);
Completed in 3 milliseconds