Make the arm64_cpu driver quiet as it adds no new information.

Only report the register used to start each cpu in bootverbose.

Sponsored by:	ABT Systems Ltd
This commit is contained in:
Andrew Turner 2015-11-02 16:43:26 +00:00
parent 126b73dd8b
commit deeaa1c566

View File

@ -137,6 +137,7 @@ arm64_cpu_probe(device_t dev)
if (cpuid >= MAXCPU || cpuid > mp_maxid)
return (EINVAL);
device_quiet(dev);
return (0);
}
@ -158,10 +159,12 @@ arm64_cpu_attach(device_t dev)
if (reg == NULL)
return (EINVAL);
device_printf(dev, "Found register:");
for (i = 0; i < reg_size; i++)
printf(" %x", reg[i]);
printf("\n");
if (bootverbose) {
device_printf(dev, "register <");
for (i = 0; i < reg_size; i++)
printf("%s%x", (i == 0) ? "" : " ", reg[i]);
printf(">\n");
}
/* Set the device to start it later */
cpu_list[cpuid] = dev;