diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-25 18:51:21 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-25 18:51:21 -0400 |
| commit | 2931e4c80946a3aaaab3dca550c2830563181490 (patch) | |
| tree | 485b4bc0b347ff68d65f5f6cfbc96c842b6694e8 /tools/guest-diag/wall2/t101.py | |
| parent | 7dfcf8dae7ebbc06430897997b55999428bdb372 (diff) | |
| download | open-iov-master.tar.gz open-iov-master.zip | |
vgsp-sema: raise the sema-rdw witness budget to 6000/client and log the viawalk retry outcome (walk rc, pa, plausibility) - session 124 evidence: for the GR submit push 0x4ca0000 the read returns rc=0 src=4 (trusted) even AFTER the user VAS registers and walk_probe rc=0, yet NO viawalk row and NO decode row appear and the entry skips after ~250 rescues: the entry is consumed between the read and the decode (plausibility passed but the decode never ran, or an earlier branch took it) - next: witness the branch taken after the read (plausibility verdict, injected/zero_nop/displaced flags)HEADmaster
Diffstat (limited to 'tools/guest-diag/wall2/t101.py')
0 files changed, 0 insertions, 0 deletions
