1 /*
2  * Copyright 2014, General Dynamics C4 Systems
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #pragma once
8 
9 #include <stdint.h>
10 
11 word_t strnlen(const char *s, word_t maxlen);
12 word_t strlcpy(char *dest, const char *src, word_t size);
13 word_t strlcat(char *dest, const char *src, word_t size);
14