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

/freebsd-13-stable/sys/mips/beri/
H A Dberi_mp.h84 void beripic_send_ipi(device_t dev, u_int tid);
H A Dberi_mp.c180 beripic_send_ipi(picmap[cpuid], cpuid);
H A Dberi_pic.c318 beripic_send_ipi(device_t dev, u_int tid) function

Completed in 56 milliseconds