blob: e57a5e2d51b0cbfdfee13a49075fe557754c31e3 (
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);
}
|
