void BIOS_RegisterRamReset()
void BIOS_RegisterRamReset(u32 flags)
void BIOS_RegisterRamReset(){#ifdef DEV_VERSION  if(systemVerbose & VERBOSE_SWI) {    log("RegisterRamReset: 0x%08x (VCOUNT=%d)\n",        reg[0].I,        VCOUNT);  }#endif  BIOS_RegisterRamReset(reg[0].I);}