| // Copyright Microsoft and CHERIoT Contributors. | |
| // SPDX-License-Identifier: MIT | |
| #ifndef _STRINGS_H_ | |
| #define _STRINGS_H_ | |
| #include <cdefs.h> | |
| #include <stddef.h> | |
| #include <stdint.h> | |
| __BEGIN_DECLS | |
| size_t __cheri_libcall clz(uint32_t x); | |
| size_t __cheri_libcall ctz(uint32_t x); | |
| __END_DECLS | |
| #endif // _STRINGS_H_ |