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