Searched defs:default_send_IPI_self (Results 1 – 2 of 2) sorted by relevance
240 void default_send_IPI_self(int vector) in default_send_IPI_self() function
237 void default_send_IPI_self(int vector) in default_send_IPI_self() function