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
11word_t strnlen(const char *s, word_t maxlen);
12word_t strlcpy(char *dest, const char *src, word_t size);
13word_t strlcat(char *dest, const char *src, word_t size);
14
15