| /* | |
| * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) | |
| * | |
| * SPDX-License-Identifier: GPL-2.0-only | |
| */ | |
| #pragma once | |
| #include <types.h> | |
| size_t strlen(const char *str); | |
| int strcmp(const char *a, const char *b); | |
| int strncmp(const char *s1, const char *s2, size_t n); | |
| void *memset(void *s, int c, size_t n); | |
| void *memmove(void *dest, const void *src, size_t n); | |
| void *memcpy(void *dest, const void *src, size_t n); | |