Searched refs:read_mmu_index (Results 1 – 3 of 3) sorted by relevance
73 idx = read_mmu_index(); in flush_tlb_range()107 idx = read_mmu_index(); in flush_tlb_kernel_range()135 idx = read_mmu_index(); in flush_tlb_page()161 idx = read_mmu_index(); in flush_tlb_one()
8 static inline int read_mmu_index(void) in read_mmu_index() function
10 static inline int read_mmu_index(void) in read_mmu_index() function