Searched refs:sendIPI (Results 1 – 3 of 3) sorted by relevance
336 gAIC->sendIPI(cpu->cpu_id, false); in PE_cpu_signal()347 gAIC->sendIPI(cpu->cpu_id, true); in PE_cpu_signal_deferred()
107 virtual void sendIPI(unsigned int cpu_id, bool deferred);
440 IOInterruptController::sendIPI(unsigned int /*cpu_id*/, bool /*deferred*/) in sendIPI() function in IOInterruptController