static void
handle_wedges(device_t dv, int par)
{
if (config_handle_wedges(dv, par) == 0)
return;
booted_device = dv;
booted_partition = par;
}
void
cpu_rootconf(void)
{
if (booted_device == NULL) {
printf("FATAL: boot device not found, check your firmware "
"settings!\n");
setroot(NULL, 0);
return;
}
if (config_handle_wedges(booted_device, booted_partition) == 0)
setroot(booted_wedge, 0);
else
setroot(booted_device, booted_partition);
}