#include #include "syscall.h" int readlink(const char *path, char *buf, size_t bufsize) { return syscall(SYS_readlink, path, buf, bufsize); }