Add __user attributes to user pointers in kernel/signal.c. This
was the first file tested with my type checker with the anal pointer attribute checking turned on.
Showing
Please register or sign in to comment
was the first file tested with my type checker with the anal pointer attribute checking turned on.