sendIPI

Declaration

virtual void sendIPI(unsigned int cpu_id, bool deferred);