#ifndef SYSCALL_IOCTL_H_ #define SYSCALL_IOCTL_H_ #include #include "syscall.h" int32_t SYSCALL5(sys_ioctl, ioh1, cmd1, arg1, arg2, arg3); #endif // SYSCALL_IOCTL_H_