diff options
Diffstat (limited to 'tools/guest-diag/pin_sem_fast.sh')
| -rwxr-xr-x | tools/guest-diag/pin_sem_fast.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/guest-diag/pin_sem_fast.sh b/tools/guest-diag/pin_sem_fast.sh index e0e30f8..16cecc4 100755 --- a/tools/guest-diag/pin_sem_fast.sh +++ b/tools/guest-diag/pin_sem_fast.sh @@ -24,7 +24,7 @@ for ((i = 1; i <= N; i++)); do line=$(EXEC "sudo python3 /tmp/pmapall.py $pid 0x20400f000 1" | grep -aE "^0x20400f000,0x[0-9a-f]+$" | head -1) if [ -n "$line" ]; then - echo "$line,0x1000,1" | sudo tee /sys/module/open_iov_vfio/parameters/sema_map_add >/dev/null + echo "$line,0x1000,1" | sudo tee /sys/module/vgsp/parameters/sema_map_add >/dev/null pinned_pid="$pid" echo "[$((i * 2))s] pinned $line (pid $pid)" fi |