diff options
Diffstat (limited to 'tools/guest-diag/pin_miss_pages.sh')
| -rwxr-xr-x | tools/guest-diag/pin_miss_pages.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/guest-diag/pin_miss_pages.sh b/tools/guest-diag/pin_miss_pages.sh index 77268ef..fd7722a 100755 --- a/tools/guest-diag/pin_miss_pages.sh +++ b/tools/guest-diag/pin_miss_pages.sh @@ -45,7 +45,7 @@ for ((i = 1; i <= MAXMIN * 4; i++)); do line=$(EXEC "sudo python3 /tmp/pmapall.py $pid $page 1" | grep -aE "^$page,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 echo "[$((i * 15))s] pinned $line (pid $pid)" seen="$seen $page" fi |