/* * Process an ioctl request. This code needs some work - it looks pretty ugly. */