diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-22 14:18:58 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-22 14:18:58 -0400 |
| commit | 7057d708e0f25613cbb58232e056d00146e43f33 (patch) | |
| tree | ec213b1d1b970822bc5648a6d537a686251c96ff /kernel/gsp_sema_service.h | |
| parent | bd2c763a92bb6b41272b0c2633120efaae8195d7 (diff) | |
| download | open-iov-7057d708e0f25613cbb58232e056d00146e43f33.tar.gz open-iov-7057d708e0f25613cbb58232e056d00146e43f33.zip | |
r481 sema_push_raw diagnostic: dump the decoded method stream of the first N large GR-class pushes (default 0 off, no behaviour change) so the launch push's acquire/release method groups are visible verbatim; needed to prove which ordering mechanism the driver relies on for async-stream H2D -> kernel dependencies (streams_events st2 vadd copy-in ran ~115 ms before its stream's H2D soft copies)
Diffstat (limited to 'kernel/gsp_sema_service.h')
| -rw-r--r-- | kernel/gsp_sema_service.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/gsp_sema_service.h b/kernel/gsp_sema_service.h index 3765cd2..305a027 100644 --- a/kernel/gsp_sema_service.h +++ b/kernel/gsp_sema_service.h @@ -313,6 +313,9 @@ extern bool gsp_sema_wait_gate; /* r401: bounded acquire-wait hold (fail-open) in ms; must exceed the * emulated launch completion latency for copy-after-launch ordering. */ extern unsigned gsp_sema_wait_hold_ms; +/* r481: verbatim method-stream dump for the first N large GR pushes + * (default 0 off). Diagnostic only; no behaviour change. */ +extern unsigned gsp_sema_push_raw; /* * r384 (guest boot-corruption lottery): fill-destination guards (default |