#include <sys/timerfd.h>
+#include <uk/file.h>
+
/* File creation */
struct uk_file *uk_timerfile_create(clockid_t id);
/* Internal Syscalls */
-
+#if CONFIG_LIBPOSIX_FDTAB
int uk_sys_timerfd_create(clockid_t id, int flags);
+#endif /* CONFIG_LIBPOSIX_FDTAB */
int uk_sys_timerfd_settime(const struct uk_file *f, int flags,
const struct itimerspec *new_value,
#include <uk/errptr.h>
#include <uk/file/nops.h>
#include <uk/posix-fd.h>
-#include <uk/posix-fdtab.h>
#include <uk/posix-time.h>
#include <uk/posix-timerfd.h>
#include <uk/sched.h>
#include <uk/timeutil.h>
+
+#if CONFIG_LIBPOSIX_FDTAB
+#include <uk/posix-fdtab.h>
#include <uk/syscall.h>
+#endif /* CONFIG_LIBPOSIX_FDTAB */
static const char TIMERFD_VOLID[] = "timerfd_vol";
/* Internal API */
+#if CONFIG_LIBPOSIX_FDTAB
+
int uk_sys_timerfd_create(clockid_t id, int flags)
{
int ret;
return ret;
}
+#endif /* CONFIG_LIBPOSIX_FDTAB */
int uk_sys_timerfd_settime(const struct uk_file *f, int flags,
const struct itimerspec *new_value,
return 0;
}
+#if CONFIG_LIBPOSIX_FDTAB
/* Syscalls */
UK_SYSCALL_R_DEFINE(int, timerfd_create, int, id, int, flags)
uk_fdtab_ret(of);
return r;
}
+#endif /* CONFIG_LIBPOSIX_FDTAB */