void MacRISC2CPU::ipiHandler(void *refCon, void *nub, int source) { // Call mach IPI handler for this CPU. if (ipi_handler) ipi_handler(); }
void ARMCPU::ipiHandler(void* refCon, IOService* nub, int source) { if(ipi_handler) ipi_handler(); return; }