Searched refs:read_mmu_index (Results 1 – 3 of 3) sorted by relevance
85 idx = read_mmu_index(); in flush_tlb_range()125 idx = read_mmu_index(); in flush_tlb_kernel_range()158 idx = read_mmu_index(); in flush_tlb_page()189 idx = read_mmu_index(); in flush_tlb_one()
7 static inline int read_mmu_index(void) in read_mmu_index() function
9 static inline int read_mmu_index(void) in read_mmu_index() function