Home
last modified time | relevance | path

Searched refs:__user (Results 1 – 12 of 12) sorted by last modified time

/illumos-gate/usr/src/tools/smatch/src/validation/
H A Dtype-attribute-as.c1 #define __user __attribute__((address_space(1))) macro
5 } __user; variable
9 extern void use1(void __user *);
H A Dtype-compare.c1 #define __user __attribute__((address_space(1))) macro
57 if ([int *] == [int __user *]) return 1; in test()
H A Dstruct-as.c5 #define __user __attribute__((address_space(1))) macro
11 extern int test(int __user *ip);
13 static int broken(struct hello __user *sp) in broken()
H A Dptr-inherit.c1 #define __user __attribute__((address_space(1))) macro
35 int __user o; in test_user()
H A Dfunction-redecl.c1 #define __user __attribute__((address_space(1))) macro
13 void __user *ret_as(void) { return NULL; } /* check-should-fail */ in ret_as()
29 void arg_as(void __user *a) { } /* check-should-fail */ in arg_as()
H A Das-name.c1 #define __user __attribute__((address_space(__user))) macro
5 static void foo(void __user *ptr) in foo()
H A DWaddress-space-strict.c1 #define __user __attribute__((address_space(1))) macro
6 static void expl(ulong u, void *v, obj_t *o, obj_t __user *p) in expl()
9 (obj_t __user*)(u); in expl()
12 (obj_t __user*)(v); in expl()
17 (obj_t __user*)(o); in expl()
22 (obj_t __user*)(p); // ok in expl()
H A DWcast-to-as.c1 #define __user __attribute__((address_space(1))) macro
7 static void expl(ulong u, uintptr_t uip, void *v, obj_t *o, obj_t __user *p) in expl()
10 (obj_t __user*)(u); in expl()
13 (obj_t __user*)(uip); in expl()
16 (obj_t __user*)(v); in expl()
21 (obj_t __user*)(o); in expl()
24 (obj_t __user*)(p); in expl()
H A Daddress_space.c1 #define __user __attribute__((address_space(1))) macro
5 static int sys_do_stuff(void __user *user_addr) in sys_do_stuff()
H A DWaddress-space-all-attr.c3 #define __user __attribute__((address_space(1))) macro
13 obj_t __user *p, obj_t __percpu *pc, in expl()
29 (obj_t __user*)(p); in expl()
H A DWaddress-space-from.c3 #define __user __attribute__((address_space(__user))) macro
12 obj_t __user *p, obj_t __percpu *pc, in expl()
31 (obj_t __user*)(p); // OK in expl()
/illumos-gate/usr/src/tools/smatch/src/Documentation/
H A Darm64-detecting-tagged-addresses.txt197 extern void __chk_user_ptr(const volatile void __user *);