#include "syscalls.h"

_syscall3(int,ioctl,int,fd,int,request,void *,argp)