| commit | 2d29c2b3e5f976dbb8094d66220e6ed5731de5e3 | [log] [tgz] |
|---|---|---|
| author | Nathaniel Wesley Filardo <wes.filardo@scisemi.com> | Mon Jan 06 17:34:09 2025 +0000 |
| committer | Nathaniel Wesley Filardo <VP331RHQ115POU58JFRLKB7OPA0L18E3@cmx.ietfng.org> | Tue Jan 07 13:13:10 2025 -0500 |
| tree | 61809a9ab4e4154cfded8e31d084836dd66c734f | |
| parent | b1b35094537e477135cd3713c953b3d8367abdd6 [diff] |
token: introduce Sealed::is_valid To go along with Capability::is_valid
diff --git a/sdk/include/token.h b/sdk/include/token.h index c25c04b..00111ec 100644 --- a/sdk/include/token.h +++ b/sdk/include/token.h
@@ -175,6 +175,13 @@ { return reinterpret_cast<T *>(sealedPointer); } + /** + * Return the tag of the underlying pointer + */ + bool is_valid() + { + return __builtin_cheri_tag_get(get()); + } }; /**