#ifndef ULIB_SYSTEM_IOCTL_H_
#define ULIB_SYSTEM_IOCTL_H_

#include <stdint.h>
#include <stddef.h>

#define IOCTL_PATH(p) ((uint64_t)(p))
#define IOCTL_BUF(b)  ((uint64_t)(b))
#define IOCTL_SIZE(sz) ((uint64_t)(sz))
#define IOCTL_OFF(off) ((uint64_t)(off))

int32_t ioctl(uint64_t ioh, uint64_t cmd, uint64_t arg1, uint64_t arg2, uint64_t arg3);

#endif // ULIB_SYSTEM_IOCTL_H_