Searched refs:page_timestamp (Results 1 – 2 of 2) sorted by relevance
66 static inline void tlbflush_filter(cpumask_t *mask, uint32_t page_timestamp) in tlbflush_filter() argument71 if ( !NEED_FLUSH(per_cpu(tlbflush_time, cpu), page_timestamp) ) in tlbflush_filter()
11 static inline void tlbflush_filter(cpumask_t *mask, uint32_t page_timestamp) {} in tlbflush_filter() argument
Completed in 2 milliseconds