Searched refs:prod_cpu (Results 1 – 2 of 2) sorted by relevance
48 static inline void prod_cpu(int cpu) in prod_cpu() function81 static inline void prod_cpu(int cpu) in prod_cpu() function
77 prod_cpu(cpu); in pv_kick()