vPB3
return ((cuda_read_reg(sc, vBufB) & vPB3) == 0);
pmu_write_reg(sc, vDirB, (pmu_read_reg(sc, vDirB) | vPB4) & ~vPB3);
return ((pmu_read_reg(sc, vBufB) & vPB3) == 0);