wdc_obio_intr
add_nubus_intr(0xf, wdc_obio_intr, sc);
add_nubus_intr(0xc, wdc_obio_intr, sc);
void wdc_obio_intr(void *);