Feel free to post a patch if it makes you feel more comfortable -
now that we have out-of-line get_user this would probably not
even make the size of the driver bigger.
Note however that this would not have helped the above problem -
1 is a perfectly valid user space pointer
Tom