diff options
Diffstat (limited to 'kernel/gsp_sema_service.h')
| -rw-r--r-- | kernel/gsp_sema_service.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/kernel/gsp_sema_service.h b/kernel/gsp_sema_service.h index 7228cd3..6f591e5 100644 --- a/kernel/gsp_sema_service.h +++ b/kernel/gsp_sema_service.h @@ -95,6 +95,13 @@ struct sema_vaspace_desc { u64 pdb; u32 num_entries; bool b_vidmem; + /* + * CONT.400: true when the directory was proven against this client's + * own content-validated ring (or published by RM itself). A directory + * registered only by the bounded age-out is UNVERIFIED; a verified + * registration must never be downgraded by a later unverified one. + */ + bool verified; }; void gsp_sema_service_vaspace_add(const struct sema_vaspace_desc *desc); |