Symbol: wdc_ioctl