put linux ioctls in sys-linux.c