Searched refs:read_mmu_index (Results 1 – 3 of 3) sorted by relevance
74 idx = read_mmu_index(); in flush_tlb_range()108 idx = read_mmu_index(); in flush_tlb_kernel_range()136 idx = read_mmu_index(); in flush_tlb_page()162 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