Searched refs:__default_local_send_IPI_allbutself (Results 1 – 2 of 2) sorted by relevance
80 static inline void __default_local_send_IPI_allbutself(int vector) in __default_local_send_IPI_allbutself() function
204 __default_local_send_IPI_allbutself(vector); in default_send_IPI_allbutself()
