Searched refs:did_IPI (Results 1 – 1 of 1) sorted by relevance
678 boolean_t did_IPI = FALSE; in cpu_interrupt() local683 did_IPI = TRUE; in cpu_interrupt()686 KERNEL_DEBUG_CONSTANT(MACHDBG_CODE(DBG_MACH_SCHED, MACH_REMOTE_AST), cpu, did_IPI, 0, 0, 0); in cpu_interrupt()