RE: [RFC PATCH 0/2] init: make sure syscall arguments are marked__user where needed

From: H Hartley Sweeten
Date: Fri Apr 20 2012 - 20:46:14 EST

On Friday, April 20, 2012 5:43 PM, Andrew Morton wrote:
> On Fri, 20 Apr 2012 19:05:46 -0500 H Hartley Sweeten wrote:
>>> Can we just make "make C=1" skip that file or something?
>> What about putting something like this at the top of the files:
>> /*
>> * Many of the syscalls used in this file expect some of the arguments
>> * to be __user pointers not __kernel pointers. To limit the sparse
>> * noise, turn off sparse checking for this file.
>> */
>> #ifdef __CHECKER__
>> #undef __CHECKER__
>> #warning "Sparse checking disabled for this file"
>> #endif
>> Maybe without the warning if it doesn't seem necessary.
>> This keeps <linux/compiler.h> from defining the __attribute__* checks.
> That looks nice and explicit.

Another option would be to just undef the __user and __kernel checks. That
way the other sparse checks should still work.

I'll post an updated patch with the #undef __CHECKER__ method shortly.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at