sh: __user annotations for __get/__put_user().