beripic_setup_ipi (reference) in projects: f-stack

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

/f-stack/freebsd/mips/beri/
H A D	beri_mp.h	`83 void beripic_setup_ipi(device_t dev, u_int tid, u_int ipi_irq);`
H A D	beri_mp.c	`166 beripic_setup_ipi(ic, cpuid, ipi); in platform_init_secondary()`
H A D	beri_pic.c	`304 beripic_setup_ipi(device_t dev, u_int tid, u_int ipi_irq) in beripic_setup_ipi() function`