Giac_maj/epsilon-giac/liba/src/aeabi-rt/memcpy.c

#include <stddef.h>
#include <string.h>
/* See the "Run-time ABI for the ARM Architecture", Section 4.3.4 */
void __aeabi_memcpy(void * dest, const void * src, size_t n) {
  memcpy(dest, src, n);
}
// TODO: optimize aeabi_memcpy4 to take advantage of the 4-byte alignment
void __aeabi_memcpy4(void * dest, const void * src, size_t n) {
  memcpy(dest, src, n);
}