drvnum           1576 platform/generic/wrappers.c     long drvnum;
drvnum           1578 platform/generic/wrappers.c     drvnum = _iosDrvInstall(dh_err,dh_err,dh_err,dh_err,dh_err,dh_err,dh_err);
drvnum           1579 platform/generic/wrappers.c     if (drvnum >= 0)
drvnum           1580 platform/generic/wrappers.c 	_iosDevAdd(drv_struct, "A/DISKBOOT.BIN", drvnum);