3 void __attribute__((noinline)) memcpy_noinline(void *dst, void *src, size_t size)
8 void __attribute__((noinline)) memset_noinline(void *dst, int value, size_t size)
10 memset(dst, value, size);
13 uint64_t __attribute__((noinline)) sum(volatile void *src, size_t size)
15 uint64_t *src_ptr = (uint64_t*)src;
17 size_t len = size / sizeof(uint64_t);
18 for (size_t i = 0; i < len; i+=1)