path: root/src/kernel/syscall/actions/sys_free.c

#include <stdint.h>
#include <kernel/memory/alloc.h>

uint32_t sys_free(uint32_t ptr)
{
    kfree((void *) ptr);
    return 0;
}