| 5,7 → 5,7 |
|---|
| |
| #ifdef __CHECKER__ |
| # define __user __attribute__((noderef, address_space(1))) |
| # define __kernel /* default address space */ |
| # define __kernel __attribute__((address_space(0))) |
| # define __safe __attribute__((safe)) |
| # define __force __attribute__((force)) |
| # define __nocast __attribute__((nocast)) |
| 15,6 → 15,12 |
|---|
| # define __acquire(x) __context__(x,1) |
| # define __release(x) __context__(x,-1) |
| # define __cond_lock(x,c) ((c) ? ({ __acquire(x); 1; }) : 0) |
| # define __percpu __attribute__((noderef, address_space(3))) |
| #ifdef CONFIG_SPARSE_RCU_POINTER |
| # define __rcu __attribute__((noderef, address_space(4))) |
| #else |
| # define __rcu |
| #endif |
| extern void __chk_user_ptr(const volatile void __user *); |
| extern void __chk_io_ptr(const volatile void __iomem *); |
| #else |
| 32,6 → 38,8 |
|---|
| # define __acquire(x) (void)0 |
| # define __release(x) (void)0 |
| # define __cond_lock(x,c) (c) |
| # define __percpu |
| # define __rcu |
| #endif |
| |
| #ifdef __KERNEL__ |