os_ipi_broadcast
os_ipi_broadcast(void (*func)(void *, void *), void *arg)
os_ipi_broadcast(void (*func)(void *), void *arg)
