diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-09 11:38:55 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-09 11:38:55 -0400 |
| commit | 5a84adfb4faacdfdd599839564d0f6968382b90e (patch) | |
| tree | aba9453751fec605fb59b0f00cca205f866d871f /kernel/gsp_phys_sec2_bl.h | |
| parent | 5c87a30965485ef546bb793ef737f2ae7ff1e761 (diff) | |
| download | open-iov-5a84adfb4faacdfdd599839564d0f6968382b90e.tar.gz open-iov-5a84adfb4faacdfdd599839564d0f6968382b90e.zip | |
vgsp-sema: defer pool releases decoded before the guest base/injection lands (ISSUE-0002)
Hold pool-VA releases for 5s after a channel registration so the fresh
session injection supersedes the previous client's translation, defer a
readable-zero pool word instead of absorbing the write, and keep an INC
pending entry alive until the word is non-zero. Second-session releases
still resolved to the previous client's page (observed: write to
0x122090000 while the fresh injection at 0x134590000 stayed zero) - the
stale-pin source is the remaining lead; diagnostic pool-rel candidates
added.
Diffstat (limited to 'kernel/gsp_phys_sec2_bl.h')
0 files changed, 0 insertions, 0 deletions