Searched refs:__user (Results 1 – 12 of 12) sorted by path
/illumos-gate/usr/src/tools/smatch/src/Documentation/ |
H A D | arm64-detecting-tagged-addresses.txt | 197 extern void __chk_user_ptr(const volatile void __user *);
|
/illumos-gate/usr/src/tools/smatch/src/validation/ |
H A D | Waddress-space-all-attr.c | 3 #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 D | Waddress-space-from.c | 3 #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()
|
H A D | Waddress-space-strict.c | 1 #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 D | Wcast-to-as.c | 1 #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 D | address_space.c | 1 #define __user __attribute__((address_space(1))) macro 5 static int sys_do_stuff(void __user *user_addr) in sys_do_stuff()
|
H A D | as-name.c | 1 #define __user __attribute__((address_space(__user))) macro 5 static void foo(void __user *ptr) in foo()
|
H A D | function-redecl.c | 1 #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 D | ptr-inherit.c | 1 #define __user __attribute__((address_space(1))) macro 35 int __user o; in test_user()
|
H A D | struct-as.c | 5 #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 D | type-attribute-as.c | 1 #define __user __attribute__((address_space(1))) macro 5 } __user; variable 9 extern void use1(void __user *);
|
H A D | type-compare.c | 1 #define __user __attribute__((address_space(1))) macro 57 if ([int *] == [int __user *]) return 1; in test()
|