Symbol: __percpu
usr/src/tools/smatch/src/validation/Waddress-space-all-attr.c
13
obj_t __user *p, obj_t __percpu *pc,
usr/src/tools/smatch/src/validation/Waddress-space-all-attr.c
34
(obj_t __percpu*)(pc);
usr/src/tools/smatch/src/validation/Waddress-space-from.c
12
obj_t __user *p, obj_t __percpu *pc,
usr/src/tools/smatch/src/validation/Waddress-space-from.c
37
(obj_t __percpu*)(pc); // OK
usr/src/tools/smatch/src/validation/Waddress-space-from.c
5
#define __percpu __attribute__((address_space(__percpu)))
usr/src/tools/smatch/src/validation/typeof-attribute.c
9
unsigned int __percpu x;