Function platform_ipi_send

freebsd/mips/beri/beri_mp.c:174–181

}

void
platform_ipi_send(int cpuid)
{

	mips_sync();	/* Ordering, liveness. */

	beripic_send_ipi(picmap[cpuid], cpuid);
}

void
platform_ipi_clear(void)