Searched defs:tlb_index_write (Results 1 – 3 of 3) sorted by relevance
164 static inline void tlb_index_write(void) in tlb_index_write() function