FreeBSD/sys/arm64/arm64/mp_machdep.c
/*
 *  interrupt controller dispatch function for IPIs. It should
 *  be called straight from the interrupt controller, when associated
 *  interrupt source is learned. Or from anybody who has an interrupt
 *  source mapped.
 */
interrupt controller dispatch function for IPIs. It should
be called straight from the interrupt controller, when associated
interrupt source is learned. Or from anybody who has an interrupt
source mapped.
interrupt controller dispatch function for IPIs . It should be called straight from the interrupt controller when associated interrupt source is learned . Or from anybody who has an interrupt source mapped .
void
intr_ipi_dispatch(u_int ipi, struct trapframe *tf)
{
	void *arg;
	struct intr_ipi *ii;
	ii = intr_ipi_lookup(ipi);
	if (ii->ii_count == NULL)
		panic("%s: not setup IPI %u", __func__, ipi);
	intr_ipi_increment_count(ii->ii_count, PCPU_GET(cpuid));
	arg = ii->ii_handler_arg != NULL ? ii->ii_handler_arg : tf;
	ii->ii_handler(arg);
}
void intr_ipi_dispatch ( u_int ipi , struct trapframe * tf ) { void * arg ; struct intr_ipi * ii ; ii = intr_ipi_lookup ( ipi ) ; if ( ii -> ii_count == NULL ) panic ( " " , __func__ , ipi ) ; intr_ipi_increment_count ( ii -> ii_count , PCPU_GET ( cpuid ) ) ; arg = ii -> ii_handler_arg != NULL ? ii -> ii_handler_arg : tf ; ii -> ii_handler ( arg ) ; }
interrupt controller dispatch function for IPIs.
interrupt controller dispatch function for IPIs .
/*
	 * Supply ipi filter with trapframe argument
	 * if none is registered.
	 */