d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- print out the correct cputype & string for unconfigured API systems

Browse Source 
- print out the correct cputype for unsupported API systems
This commit is contained in:
gallatin 2000-06-25 20:41:49 +00:00
parent 203652b0dd
commit 88d37fafdc
1 changed files with 14 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
sys/alpha/alpha/cpuconf.c
View File

@ -178,11 +178,18 @@ void
platform_not_configured(int cputype)
{
struct cpuinit *cpu;
int cpuidx;
cputype = hwrpb->rpb_type;
if (cputype < 1)
cputype *= -1;
if (cputype >= API_ST_BASE) {
cputype -= API_ST_BASE;
cpuidx = cputype - API_ST_BASE;
cpu = api_cpuinit;
} else {
cpuidx = cputype;
cpu = cpuinit;
}
@ -190,7 +197,7 @@ platform_not_configured(int cputype)
printf("Support for system type %d is not present in this kernel.\n",
cputype);
printf("Please build a kernel with \"options %s\" and reboot.\n",
cpu[cputype].option);
cpu[cpuidx].option);
printf("\n");
panic("platform not configured\n");
}
@ -200,6 +207,11 @@ platform_not_supported(int cputype)
{
const char *typestr;
cputype = hwrpb->rpb_type;
if (cputype < 1)
cputype *= -1;
if (cputype >= ncpuinit)
typestr = "???";
else