diff options
Diffstat (limited to 'kernel/gsp_sema_service.h')
| -rw-r--r-- | kernel/gsp_sema_service.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kernel/gsp_sema_service.h b/kernel/gsp_sema_service.h index 8cd9e61..615d092 100644 --- a/kernel/gsp_sema_service.h +++ b/kernel/gsp_sema_service.h @@ -78,6 +78,12 @@ extern bool gsp_sema_gr_rings; extern bool gsp_sema_fake_rel; /* + * Skip executing a push's collected work (CE memsets/copies) while still + * applying its release; see the definition for the trade-off. + */ +extern bool gsp_sema_skip_ops; + +/* * Grace window (ms) an untranslatable GR GPFIFO entry is left pending before * the pump consumes it as stale. The GR push pages are pinned from guest * truth a moment after the channels appear; the window lets those pins land |