cancelDeferredIPI

Declaration

virtual void cancelDeferredIPI(unsigned int cpu_id);