Searched refs:arcbios_system_identifier (Results 1 – 5 of 5) sorted by relevance
50 char arcbios_system_identifier[64 + 1]; variable131 arcbios_system_identifier, in arcbios_fetch_system_identifier()132 sizeof(arcbios_system_identifier)); in arcbios_fetch_system_identifier()
51 extern char arcbios_system_identifier[];
286 cpu_setmodel("%s", arcbios_system_identifier); in mach_init()368 for (i = 0; arcbios_system_identifier[i] != '\0'; i++) { in mach_init()370 arcbios_system_identifier[i] >= '0' && in mach_init()371 arcbios_system_identifier[i] <= '9') { in mach_init()372 mach_type = strtoul(&arcbios_system_identifier[i], in mach_init()
72 arcbios_system_identifier, in mainbus_attach()
347 strcpy(arcbios_system_identifier, "SGI-IP6"); in arcemu_ipN_init()350 strcpy(arcbios_system_identifier, "SGI-IP12"); in arcemu_ipN_init()