1/* 2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 */ 6 7#pragma once 8 9#include <types.h> 10 11size_t strlen(const char *str); 12int strcmp(const char *a, const char *b); 13int strncmp(const char *s1, const char *s2, size_t n); 14void *memset(void *s, int c, size_t n); 15void *memmove(void *dest, const void *src, size_t n); 16void *memcpy(void *dest, const void *src, size_t n); 17 18