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 d2db39f..257a0ef 100644 --- a/kernel/gsp_sema_service.h +++ b/kernel/gsp_sema_service.h @@ -544,6 +544,12 @@ u64 gsp_sema_mme_sa_get(u32 *entries, u32 n); u32 gsp_sema_mme_ir_end_get(void); /* + * SESSION 153-CONTINUED-70: IR code words captured so far (the maturity + * gate's measure; printed by the MME-PRE-DUMP for the offline sim). + */ +u32 gsp_sema_mme_code_words_get(void); + +/* * SESSION 153-CONTINUED-68: is the IR instruction at address `pc` present * in the replay buffer (i.e. was it uploaded by a captured run that was * NOT dropped as a duplicate/over-cap)? The launch builder stubs every |