Searched refs:__default_local_send_IPI_all (Results 1 – 2 of 2) sorted by relevance
88 static inline void __default_local_send_IPI_all(int vector) in __default_local_send_IPI_all() function
209 __default_local_send_IPI_all(vector); in default_send_IPI_all()
