diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-08 18:24:20 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-08 18:24:20 -0400 |
| commit | 1e6da3cd5e8e8c7ecd57c052c92cda389e1dd88e (patch) | |
| tree | d7521ec3b5b63ca8af31905e25117a3ac5a7f6d9 /kernel/gsp_phys_booter_load_img.h | |
| parent | ccd67713a99c5bdb84fe0e52df17bc66ff23abcf (diff) | |
| download | open-iov-1e6da3cd5e8e8c7ecd57c052c92cda389e1dd88e.tar.gz open-iov-1e6da3cd5e8e8c7ecd57c052c92cda389e1dd88e.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 'kernel/gsp_phys_booter_load_img.h')
0 files changed, 0 insertions, 0 deletions
