Symbol: ipi_latte_init
sys/arch/evbppc/nintendo/ipi_latte.h
32
void ipi_latte_init(void);
sys/arch/evbppc/nintendo/machdep.c
512
ipi_latte_init();