#include <unistd.h> #include <errno.h> #include <sys/syscall.h> _syscall2 (__ptr_t, sram_alloc, size_t, len, unsigned long, flags);