blob: 2a10c0d4aa49c35505b91b329dd0c5967a4e0080 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
#include <stddef.h>
#include <syscall.h>
void *malloc(size_t count)
{
return (void *) syscall_alloc(count);
}
void free(void *ptr)
{
syscall_free((uint32_t) ptr);
}
|
