ptw0_valid       1102 src/dps8/dps8_mgp.c     int ptw0_valid = ((ptw0 & 0740000777747llu) == 04llu);
ptw0_valid       1106 src/dps8/dps8_mgp.c              ptw0_valid ? "valid" : "INVALID");
ptw0_valid       1108 src/dps8/dps8_mgp.c     if (!ptw0_valid)
ptw0_valid       1066 src/dps8/dps8_net.c     int ptw0_valid = ((ptw0 & 0740000777747llu) == 04llu);
ptw0_valid       1070 src/dps8/dps8_net.c              ptw0_valid ? "valid" : "INVALID");
ptw0_valid       1072 src/dps8/dps8_net.c     if (!ptw0_valid)