#ifndef SYSCALL_IOCTL_H_
#define SYSCALL_IOCTL_H_

#include <stdint.h>
#include "syscall.h"

int32_t SYSCALL3(sys_ioctl, ioh1, cmd1, optsptr1);

#endif // SYSCALL_IOCTL_H_