Searched refs:default_send_IPI_single_phys (Results 1 – 4 of 4) sorted by relevance
59 void default_send_IPI_single_phys(int cpu, int vector);
99 .send_IPI = default_send_IPI_single_phys,
172 .send_IPI = default_send_IPI_single_phys,
180 void default_send_IPI_single_phys(int cpu, int vector) in default_send_IPI_single_phys() function