Linux kernel中的annotation)

轉自：http://blog.yaabou.com/?p=82

__user表示是一個使用者空間的指標，所以kernel不可能直接使用。

#ifdef __CHECKER__
# define __user __attribute__((noderef, address_space(1)))
# define __kernel /* default address space */
#else
# define __user
# define __kernel
#endif

noderef告訴編譯器，不應該解除該指標的引用，因為在當前地址空間中它是沒有意義的。

這裡的CHECKER表示是否使用了Sprase（就是一種靜態分析工具，用來分析核心源碼中的BUG）。是不是想研究一下了？呵呵。可以參見http://sparse.wiki.kernel.org/index.php/Main_Page

所以對於這種變數，在kernel中使用要用到copy_to_user和copy_from_user。

__iomem是2.6.9中加入的特性。是用來個表示指會指向一個I/O的記憶體空間。主要是為了driver的通用性考慮。由於不同的CPU體繫結構對I/O空間的表示可能不同。當使用__iomem時，compiler會忽略對變數的檢查（因為用的是void __iomem）。但sparse會對它進行檢查，當__iomem的指標和正常的指標混用時，就會發出一些warnings。

下面還有一些為個變數新加入的函數:

    unsigned int ioread8(void __iomem *addr);
    unsigned int ioread16(void __iomem *addr);
    unsigned int ioread32(void __iomem *addr);
    void iowrite8(u8 value, void __iomem *addr);
    void iowrite16(u16 value, void __iomem *addr);
    void iowrite32(u32 value, void __iomem *addr);

可以看一下http://lwn.net/Articles/102240/
和http://lwn.net/Articles/102232/