diff options
Diffstat (limited to 'kernel/gsp_phys_booter.h')
| -rw-r--r-- | kernel/gsp_phys_booter.h | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/kernel/gsp_phys_booter.h b/kernel/gsp_phys_booter.h index 30e30db..52d9c43 100644 --- a/kernel/gsp_phys_booter.h +++ b/kernel/gsp_phys_booter.h @@ -407,7 +407,15 @@ int gsp_phys_boot_rm_unload(void __iomem *bar0); * verified with a direct-map memcmp. Both directions are gated on a live * READY claim, ladder stage >= 3 and the pinned GPA; every refusal is a * logged no-op and no guest byte is touched unless G2H already proved - * the translation. + * the translation. With gsp_phys_rmcall_engine=1 the stage-3 snapshot + * selects the GR0 engine for the same ladder: the TSG/channel carry + * engineType 1, the channel walk is a single no-retry V5 attempt, a + * TURING_COMPUTE_A (0xc5c0) engine object is allocated on the channel, + * BIND uses engineType 1 and stage 4 releases a GR semaphore instead of + * copying (logged as REAL GR SEM OK / REAL GR SEM FAILED); all CE + * forwarding paths refuse once per staging. Writing 9 re-runs one GR + * semaphore release on an already-built GR ladder without a full stage + * cycle (no RPC; requires the GR object and work-submit token). * - "gsp-phys-guest-gpa" (write-only, mode 0200): pin the one guest RAM * GPA ("0x<hex>", 4 KB page-aligned) that the rm-call guest directions * may touch. One GPA per boot (a second different GPA is refused: |