Symbol: ipi_trigger_broadcast
sys/kern/subr_copy.c
569
ipi_trigger_broadcast(ucas_critical_ipi, true);
sys/sys/ipi.h
72
void ipi_trigger_broadcast(u_int, bool);