if (sys_config.system_type < 0) {
if (sys_config.system_type < 0 || sys_config.system_type == SGI_O200) {
bios_ident(){	sys_config.system_type = bios_get_system_type();	if (sys_config.system_type < 0) {		return;	}	bios_configure_memory();#ifdef __arc__	displayinfo = *(arc_dsp_stat_t *)Bios_GetDisplayStatus(1);#endif}