Add deviceid to the disk output on boot to help debugging.

PR:		kern/173290
Submitted by:	Steven Hartland <steven.hartland@multiplay.co.uk>
Approved by:	cperciva
MFC after:	1 week
This commit is contained in:
Eitan Adler 2012-11-15 15:06:09 +00:00
parent 93b4da8a2a
commit 5e6997d26c

View file

@ -122,8 +122,8 @@ mfi_syspd_attach(device_t dev)
break;
}
mtx_unlock(&sc->pd_controller->mfi_io_lock);
device_printf(dev, "%juMB (%ju sectors) SYSPD volume\n",
sectors / (1024 * 1024 / secsize), sectors);
device_printf(dev, "%juMB (%ju sectors) SYSPD volume (deviceid: %d)\n",
sectors / (1024 * 1024 / secsize), sectors, sc->pd_id);
sc->pd_disk = disk_alloc();
sc->pd_disk->d_drv1 = sc;
sc->pd_disk->d_maxsize = sc->pd_controller->mfi_max_io * secsize;