Searched refs:default_send_IPI_self (Results 1 – 5 of 5) sorted by relevance
142 .send_IPI_self = default_send_IPI_self,235 .send_IPI_self = default_send_IPI_self,
63 void default_send_IPI_self(int vector);
157 .send_IPI_self = default_send_IPI_self,
99 .send_IPI_self = default_send_IPI_self,
240 void default_send_IPI_self(int vector) in default_send_IPI_self() function
