VFB_STATEINDEX_IR
vfb_write1(sc, VFB_STATEINDEX, VFB_STATEINDEX_IR);
vfb_pacepoll1(sc, VFB_STATEINDEX, VFB_STATEINDEX_IR, 0xff);