sw/device/lib/testing/test_rom/puppeteer_utils/nostdlib.c

// Copyright 2022 Google LLC
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

#include <stddef.h>
#include <stdint.h>

void* memcpy(void* __restrict dst, const void* __restrict src, size_t size) {
  uint8_t* __restrict d = (uint8_t* __restrict)dst;
  const uint8_t* __restrict s = (const uint8_t* __restrict)src;
  for (size_t i = 0; i < size; i++) *d++ = *s++;
  return dst;
}

void* memset(void* ptr, int value, size_t num) {
  uint8_t* d = (uint8_t*)ptr;
  for (size_t i = 0; i < num; i++) *d++ = value;
  return ptr;
}