/* not the right revision number XXX */
rev = HREAD4(sc, sc->sc_ioh_ctl, 0x0);
printf(": rev %d.%d\n", rev >> 4 &0xf, rev & 0xf);
/* not the right revision number XXX */
rev = HREAD4(sc, sc->sc_ioh_ctl, 0x0);
printf(": rev %d.%d\n", rev >> 4 &0xf, rev & 0xf);