linux-user: ioctl() command type is int