diff options
Diffstat (limited to 'kernel/main.c')
| -rw-r--r-- | kernel/main.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/kernel/main.c b/kernel/main.c index 39c71c3..7001b3d 100644 --- a/kernel/main.c +++ b/kernel/main.c @@ -2551,6 +2551,16 @@ module_param_named(sema_gr_rings, gsp_sema_gr_rings, bool, 0644); MODULE_PARM_DESC(sema_gr_rings, "Auto-discover+pin GR channel rings (default 1)"); /* + * In-kernel GR completion-counter slot derivation from the structural + * translations (published page directories, self-discovered directory, + * targeted rm_mem record), used when a release's counter page has no injected + * pin yet. Default on; set 0 to restore the injected-pin-only behaviour for + * an A/B without a rebuild. + */ +module_param_named(sema_counter_derive, gsp_sema_counter_derive, bool, 0644); +MODULE_PARM_DESC(sema_counter_derive, "Derive GR completion-counter slots in-kernel from structural translations (default 1)"); + +/* * Acknowledge releases from unreadable CE pushes directly (tracking-semaphore * fallback). The push's data writes are lost either way when the content * rescue cannot find the page; writing the expected payload keeps the |