Symbol: wii_halt
sys/arch/evbppc/nintendo/machdep.c
241
static void wii_halt(void);
sys/arch/evbppc/nintendo/machdep.c
599
wii_halt();