Symbol: ex_ioctl