Searched refs:tlb_write_random (Results 1 – 4 of 4) sorted by relevance
43 static inline void tlb_write_random(void) in tlb_write_random() function
341 tlb_write_random(); in __update_tlb()376 tlb_write_random(); in __update_tlb()
209 tlb_write_random(); in __update_tlb()
2947 static inline void tlb_write_random(void) in tlb_write_random() function