Re: __CHECKER__, __user, and user-space pointers in the kernel

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Wed, Jan 19, 2005 at 12:11:23PM -0600, Timur Tabi wrote:
> 
> 1. Where is __CHECKER__ defined?  I did a grep of an entire 2.6 kernel 
> tree, and it's not defined in any source file, header file, or make 
> file.  I see a few #ifdef's, but no #define __CHECKER__ or anything like 
> that.

I think it's in a makefile for when C=1 on the make command line.
Anyway, you don't need to worry about this.

> 2. What does address_space(1) mean?

It's a sparse thing.

> 3. Is __CHECKER__ related to the 2.6 support for the "sparse" tool?  Is 
> it related to the C=1 make command line parm?

Yes.  See the sparse documention in the Documentation/sparse.txt file
for more info on this.  You should be running this on all of your kernel
code.

Good luck,

greg k-h

--
Kernelnewbies: Help each other learn about the Linux kernel.
Archive:       http://mail.nl.linux.org/kernelnewbies/
FAQ:           http://kernelnewbies.org/faq/


[Index of Archives]     [Newbies FAQ]     [Linux Kernel Mentors]     [Linux Kernel Development]     [IETF Annouce]     [Git]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux RAID]     [Linux SCSI]     [Linux ACPI]
  Powered by Linux