#include #include "syscall.h" int ustat(dev_t dev, void *ubuf) { int ret = __syscall(SYS_ustat, dev, ubuf); return __syscall_ret(ret); }