1 2 3 4 5 6 7
#include <stdint.h> #include <syscall.h> void free(void *addr) { syscall_free((u32)addr); }
