VFB_STATEDATA
vfb_pacepoll4(sc, VFB_STATEDATA, 0, 0);
vfb_write4(sc, VFB_STATEDATA, insn);
vfb_pacepoll4(sc, VFB_STATEDATA, insn, 0xffffffff);
vfb_pacepoll4(sc, VFB_STATEDATA, 0, 0);
vfb_write4(sc, VFB_STATEDATA, insn);
vfb_pacepoll4(sc, VFB_STATEDATA, insn, 0xffffffff);
data = vfb_read4(sc, VFB_STATEDATA);
pc = vfb_read4(sc, VFB_STATEDATA);
*pcp = vfb_read4(sc, VFB_STATEDATA);
db_printf("PC 0x%08x\n", vfb_read4(sc, VFB_STATEDATA));
(void)vfb_read4(sc, VFB_STATEDATA);
(void)vfb_read4(sc, VFB_STATEDATA);