diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-21 00:08:14 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-21 00:08:14 -0400 |
| commit | 1c37e483c205eff947de33a37545a07af71a5d73 (patch) | |
| tree | b0c01cf161ba63a55530c7136c657a160062421f /kernel/gsp_sema_service.h | |
| parent | 243a40f6f715f410864c75731ad57062c6ce6fcb (diff) | |
| download | open-iov-1c37e483c205eff947de33a37545a07af71a5d73.tar.gz open-iov-1c37e483c205eff947de33a37545a07af71a5d73.zip | |
sema/boot: r391e print the shadow base pointer in the copy-out and bigcopy witnesses
Rule in/out a stale or duplicate vgpu->bars[1] shadow between the launch
copy-out (svc_fwd_req.vgpu) and the D2H reader (svc_copy's vgpu): the sum=0
runs show the write landing (OUT-PAGE-POST val8 = the sum) and the reader
of the same ledger page reading zeros 8 ms later with no logged writer in
between. Diagnostic only.
Diffstat (limited to 'kernel/gsp_sema_service.h')
| -rw-r--r-- | kernel/gsp_sema_service.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/gsp_sema_service.h b/kernel/gsp_sema_service.h index cef7b0a..ea025ca 100644 --- a/kernel/gsp_sema_service.h +++ b/kernel/gsp_sema_service.h @@ -417,5 +417,6 @@ bool gsp_sema_write_guard(u64 va, u64 pa, u32 ap, const char *path); * resolves) is one line instead of a forensics session. */ bool gsp_sema_gr_va_snap(u64 va, u64 *pa, u32 *ap, u64 *val8); +u8 *gsp_sema_gr_shadow_base(void); #endif /* _GSP_SEMA_SERVICE_H_ */ |