beripic_send_ipi (reference) in projects: f-stack

Searched refs:beripic_send_ipi (Results 1 – 3 of 3) sorted by relevance

/f-stack/freebsd/mips/beri/
H A D	beri_mp.h	`84 void beripic_send_ipi(device_t dev, u_int tid);`
H A D	beri_mp.c	`180 beripic_send_ipi(picmap[cpuid], cpuid); in platform_ipi_send()`
H A D	beri_pic.c	`318 beripic_send_ipi(device_t dev, u_int tid) in beripic_send_ipi() function`