+ /*
+ * What kind of a board is this?
+ * The error bits 4-6 in pcsr1 are a device id as long as
+ * the high byte is zero.
+ */
+ csr1 = addr->pcsr1;
+ if (csr1 & 0xff60)
+ printf("de%d: broken\n", ui->ui_unit);
+ else if (csr1 & 0x10)
+ printf("de%d: delua\n", ui->ui_unit);
+ else
+ printf("de%d: deuna\n", ui->ui_unit);
+