ptw0_valid       1080 src/dps8/dps8_mgp.c     int ptw0_valid = ((ptw0 & 0740000777747llu) == 04llu);
ptw0_valid       1084 src/dps8/dps8_mgp.c                    ptw0_valid ? "valid" : "INVALID");
ptw0_valid       1086 src/dps8/dps8_mgp.c     if (!ptw0_valid)
ptw0_valid       1149 src/dps8/dps8_net.c     int ptw0_valid = ((ptw0 & 0740000777747llu) == 04llu);
ptw0_valid       1153 src/dps8/dps8_net.c                    ptw0_valid ? "valid" : "INVALID");
ptw0_valid       1155 src/dps8/dps8_net.c     if (!ptw0_valid)