Project

General

Profile

Bug #2408 » usched_package.patch

alexh, 08/29/2012 04:03 AM

View differences:

usched_bsd4_new.c 2012-08-29 12:01:18.968118000 +0100
"Package Siblings: ", i);
break;
default:
/* Let's go for safe defaults here */
smt_not_supported = 1;
cache_coherent_not_supported = 1;
if (bootverbose)
kprintf ("\tcpu%d - Unknown cpunode->type. Siblings: ", i);
kprintf ("\tcpu%d - Unknown cpunode->type=%u. Siblings: ",
i, (unsigned int)dd->cpunode->type);
break;
}
(2-2/3)