[PATCH] devio __user annotations