sifbios_halt
sifbios_halt(0); /* power down */
sifbios_halt(1); /* halt */
sifbios_halt(2); /* reset */
void sifbios_halt(int);