#include <unistd.h> #include <errno.h> #include <sys/syscall.h> _syscall1 (__ptr_t, sram_free, __ptr_t, addr);