bios_putstring("UNIDENTIFIED SYSTEM `"); if (cf) bios_putstring((char *)(long)cf->id); else bios_putstring("????????"); bios_putstring("' VENDOR `");
bios_get_system_type(){	arc_config_t	*cf;	arc_sid_t	*sid;	int		i;	if ((bios_base->magic != ARC_PARAM_BLK_MAGIC) &&	    (bios_base->magic != ARC_PARAM_BLK_MAGIC_BUG)) {		return(-1);	/* This is not an ARC system */	}	sid = (arc_sid_t *)Bios_GetSystemId();	cf = (arc_config_t *)Bios_GetChild(NULL);	if (cf) {		for (i = 0; i < KNOWNSYSTEMS; i++) {			if (strcmp(sys_types[i].sys_name, (char *)(long)cf->id) != 0)				continue;			if (sys_types[i].sys_vend &&			    strncmp(sys_types[i].sys_vend, sid->vendor, 8) != 0)				continue;			return (sys_types[i].sys_type);	/* Found it. */		}	}	bios_putstring("UNIDENTIFIED SYSTEM `");	if (cf)		bios_putstring((char *)(long)cf->id);	else		bios_putstring("????????");	bios_putstring("' VENDOR `");	sid->vendor[8] = 0;	bios_putstring(sid->vendor);	bios_putstring("'. Please contact OpenBSD (www.openbsd.org).\n");	bios_putstring("Reset system to restart!\n");	while(1);}