diff options
Diffstat (limited to 'tools/guest-diag/pin_client_sems.sh')
| -rwxr-xr-x | tools/guest-diag/pin_client_sems.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/guest-diag/pin_client_sems.sh b/tools/guest-diag/pin_client_sems.sh index 82d2789..af39fd1 100755 --- a/tools/guest-diag/pin_client_sems.sh +++ b/tools/guest-diag/pin_client_sems.sh @@ -34,7 +34,7 @@ pin_range() { # pin_range <lo-dec> <hi-dec> <label> mapfile -t lines < <(timeout 60 $VMEXEC exec --timeout 50 "sudo python3 /tmp/pmapall.py $PID $(printf '0x%x' "$cur") 32" 2>/dev/null | grep -aE '^0x[0-9a-f]+,0x[0-9a-f]+$') [ "${#lines[@]}" -gt 0 ] || break for l in "${lines[@]}"; do - echo "$l,0x1000,1" | sudo tee /sys/module/open_iov_vfio/parameters/sema_map_add >/dev/null + echo "$l,0x1000,1" | sudo tee /sys/module/vgsp/parameters/sema_map_add >/dev/null done total=$((total + ${#lines[@]})) local last=${lines[-1]%%,*} @@ -58,7 +58,7 @@ for it in $(seq 1 "$ITER"); do for va in $lines; do line=$(timeout 30 $VMEXEC exec --timeout 25 "sudo python3 /tmp/pmapall.py $PID $va 1" 2>/dev/null | grep -E '^0x[0-9a-f]+,0x[0-9a-f]+$' | head -1) [ -n "$line" ] || continue - echo "$line,0x1000,1" | sudo tee /sys/module/open_iov_vfio/parameters/sema_map_add >/dev/null || continue + echo "$line,0x1000,1" | sudo tee /sys/module/vgsp/parameters/sema_map_add >/dev/null || continue n=$((n + 1)) done echo "iter $it: pinned $n sem page(s) (pid $PID)" |