1  #include "defs.h"
       2  
       3  int
       4  var_ioctl_HDIO(struct tcb *tcp, unsigned int code, kernel_ulong_t arg);