Searched refs:__tlb_read_index (Results 1 – 1 of 1) sorted by relevance
105 static inline int __tlb_read_index(uint32_t tlbi){ in __tlb_read_index() function159 __tlb_read_index(tlbi); in __tlb_entry_is_free()194 __tlb_read_index(tlbi); in __tlb_dump_index()