1 /* See LICENSE for license details. */
\r
3 /* These functions are intended for embedded RV32 systems and are
\r
4 obviously incorrect in general. */
\r
6 void* __wrap_malloc(unsigned long sz)
\r
8 extern void* sbrk(long);
\r
9 void* res = sbrk(sz);
\r
10 if ((long)res == -1)
\r
15 void __wrap_free(void* ptr)
\r