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