#include "defs.h"

int
var_ioctl_HDIO(struct tcb *tcp, unsigned int code, kernel_ulong_t arg);