ptw0_valid        943 src/dps8/dps8_mgp.c     int ptw0_valid = ((ptw0 & 0740000777747llu) == 04llu);
ptw0_valid        947 src/dps8/dps8_mgp.c                    ptw0_valid ? "valid" : "INVALID");
ptw0_valid        949 src/dps8/dps8_mgp.c     if (!ptw0_valid)
ptw0_valid        999 src/dps8/dps8_net.c     int ptw0_valid = ((ptw0 & 0740000777747llu) == 04llu);
ptw0_valid       1003 src/dps8/dps8_net.c                    ptw0_valid ? "valid" : "INVALID");
ptw0_valid       1005 src/dps8/dps8_net.c     if (!ptw0_valid)