diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-20 23:53:08 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-20 23:53:08 -0400 |
| commit | f1c8349168cfcd3a2f0c293a4cf290be990d0e05 (patch) | |
| tree | 2125d2c127b6ecad7a0036a23893b460e3e29be3 /kernel/gsp_phys_booter.c | |
| parent | 52a84dbe8908e51bbfa5eed7d207477946436749 (diff) | |
| download | open-iov-f1c8349168cfcd3a2f0c293a4cf290be990d0e05.tar.gz open-iov-f1c8349168cfcd3a2f0c293a4cf290be990d0e05.zip | |
sema/boot: r391c OUT-PAGE-WIT resolution witness for the sum=0 readback class
The GR copy-out now prints, per changed page, the landing-table resolution
of the VA (the exact source the D2H reader's ledger-first branch uses) and
its first 8 bytes beside the write target hpa - a launch/readback
disagreement (write landed on another page/aperture than the reader
resolves) becomes one line instead of a forensics session.
Diagnostic only (bounded by the existing copywit budget).
Diffstat (limited to 'kernel/gsp_phys_booter.c')
| -rw-r--r-- | kernel/gsp_phys_booter.c | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/kernel/gsp_phys_booter.c b/kernel/gsp_phys_booter.c index 4e296b9..5f57370 100644 --- a/kernel/gsp_phys_booter.c +++ b/kernel/gsp_phys_booter.c @@ -20944,14 +20944,30 @@ gr_page_unmapped: */ if (gsp_phys_gr_copywit_enabled() && outwit < GSP_PHYS_GR_COPYWIT_MAX) { + /* + * r391 diagnostic (sum=0 class): the + * landing-table resolution of this VA + * (the page the D2H reader will use) + * and its first 8 bytes beside the + * write target - a launch/readback + * disagreement in one line. + */ + u64 rpa = 0, rval = 0; + u32 rap = 0; + bool rhave = gsp_sema_gr_va_snap( + req->data[wbi].va, &rpa, + &rap, &rval); + outwit++; - pr_info("vgsp-gr: OUT-PAGE-WIT va=0x%llx hpa=0x%llx bi=%u first8=%016llx last8=%016llx pre=%08x post=%08x\n", + pr_info("vgsp-gr: OUT-PAGE-WIT va=0x%llx hpa=0x%llx bi=%u first8=%016llx last8=%016llx pre=%08x post=%08x res=%s pa=0x%llx ap=%u val8=%016llx\n", req->data[wbi].va, req->data[wbi].hpa, bi, f8, (u64)get_unaligned_le64( src + GSP_PHYS_PAGE_SIZE - 8), - bounce_csum_in[bi], csum); + bounce_csum_in[bi], csum, + rhave ? "ledger" : "none", + rpa, rap, rval); } /* * OUT-ALIAS-WIT: identical first 8 bytes as |