#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);
}