1 files changed, 8 insertions, 1 deletions
diff --git a/tools/guest-diag/pin_supervisor.sh b/tools/guest-diag/pin_supervisor.sh
index b87d5c1..72f588f 100755
--- a/tools/guest-diag/pin_supervisor.sh
+++ b/tools/guest-diag/pin_supervisor.sh
@@ -70,7 +70,14 @@ kill_tool() {
 start_pin() {
     if tool_alive "$PIN"; then return 0; fi
     touch "$PIN_HB" 2>/dev/null || true
-    ( setsid nohup env SEMFIX_COUNTER_RETRY=10 \
+    # CLIENT_PREFIXES threads through pin_gr_stream.py into the guest
+    # scanner launch (its _start_cmd). GL clients (glxgears, gzdoom) and
+    # the X server must be covered or the GL client's ring/mappings are
+    # never pinned (SESSION 149: the GR ring scan then finds no candidate
+    # for h=0xbfef0002, va=0x1203cfff0).
+    ( setsid nohup env \
+        CLIENT_PREFIXES="${CLIENT_PREFIXES:-cdt,va,victory,Xorg,X,glxgears,gzdoom}" \
+        SEMFIX_COUNTER_RETRY=10 \
         python3 "$PIN" >> "$PIN_LOG" 2>&1 & )
     pin_started=$(date +%s)
     log "START pin_gr_stream"