summaryrefslogtreecommitdiffstats
path: root/debug
diff options
context:
space:
mode:
authorArthur Hanson Rasmusson <arthur@vgpu.io>2026-10-08 18:24:20 -0400
committerArthur Hanson Rasmusson <arthur@vgpu.io>2026-10-08 18:24:20 -0400
commitc31485b90d903bf8d3b20805b6aee2591911ad63 (patch)
tree1066e317b914bee5b0ba17b3fbee6093bc556465 /debug
parent05dd3b80fac380a786ce01da1820e2b63baffe4c (diff)
downloadopen-iov-c31485b90d903bf8d3b20805b6aee2591911ad63.tar.gz
open-iov-c31485b90d903bf8d3b20805b6aee2591911ad63.zip
vgsp-sema: reject identity pool-semaphore translations (the wedge class)
Wedges (WEDGE-COMPARE-r7-vs-r10.md) wrote the pool completion to pa==va (0x121000000, src=trusted) instead of the guest's real page (greens use src=pin); the read-back proof cannot catch identity because the SYS aperture reads/writes accept any address, so it cached and the guest's first tracker wait never woke (kernel logging stops at client init, guest wedges). Never accept or cache a pool VA->PA resolved to an identity page: guard lookup/cache/store and every resolver source; a rejected identity misses, so the release queues in svc_pending[] until the real pin lands.
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions