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 615d092..7af498e 100644 --- a/kernel/gsp_sema_service.h +++ b/kernel/gsp_sema_service.h @@ -84,6 +84,12 @@ extern bool gsp_sema_fake_rel; extern bool gsp_sema_skip_ops; /* + * How many executed CE ops to log with full operands (diagnostic bound; the + * default keeps a healthy run quiet, raise it to audit a data path). + */ +extern unsigned gsp_sema_ops_log; + +/* * 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 |