diff options
Diffstat (limited to 'tools/guest-diag/guest_pmap_win.py')
| -rw-r--r-- | tools/guest-diag/guest_pmap_win.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/guest-diag/guest_pmap_win.py b/tools/guest-diag/guest_pmap_win.py index f6ca85c..501e7bc 100644 --- a/tools/guest-diag/guest_pmap_win.py +++ b/tools/guest-diag/guest_pmap_win.py @@ -16,7 +16,7 @@ hi = int(sys.argv[3], 16) maxp = int(sys.argv[4]) if len(sys.argv) > 4 else 20000 pa_max = int(sys.argv[5], 16) if len(sys.argv) > 5 else 0 -BATCH = 512 +BATCH = 4096 out = [] run_va = run_pa = None run_n = 0 |