Searched refs:obj_t (Results 1 – 8 of 8) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/validation/ |
| H A D | Waddress-space-from.c | 9 typedef struct s obj_t; typedef
11 static void expl(obj_t __kernel *k, obj_t __iomem *o, in expl()
12 obj_t __user *p, obj_t __percpu *pc, in expl()
13 obj_t __rcu *r) in expl()
18 (obj_t*)(k); // OK in expl()
19 (obj_t __kernel*)(k); // OK in expl()
24 (obj_t*)(o); in expl()
25 (obj_t __iomem*)(o); // OK in expl()
30 (obj_t*)(p); in expl()
31 (obj_t __user*)(p); // OK in expl()
[all …]
|
| H A D | Waddress-space-all-attr.c | 10 typedef struct s obj_t; typedef
12 static void expl(obj_t __kernel *k, obj_t __iomem *o, in expl()
13 obj_t __user *p, obj_t __percpu *pc, in expl()
14 obj_t __rcu *r) in expl()
18 (obj_t*)(k); in expl()
19 (obj_t __kernel*)(k); in expl()
23 (obj_t*)(o); in expl()
24 (obj_t __iomem*)(o); in expl()
28 (obj_t*)(p); in expl()
29 (obj_t __user*)(p); in expl()
[all …]
|
| H A D | Wcast-to-as.c | 5 typedef struct s obj_t; typedef
7 static void expl(ulong u, uintptr_t uip, void *v, obj_t *o, obj_t __user *p) in expl()
9 (obj_t*)(u); in expl()
10 (obj_t __user*)(u); in expl()
12 (obj_t*)(uip); in expl()
13 (obj_t __user*)(uip); in expl()
15 (obj_t*)(v); in expl()
16 (obj_t __user*)(v); in expl()
20 (obj_t*)(o); in expl()
21 (obj_t __user*)(o); in expl()
[all …]
|
| H A D | Waddress-space-strict.c | 4 typedef struct s obj_t; typedef
6 static void expl(ulong u, void *v, obj_t *o, obj_t __user *p) in expl()
8 (obj_t*)(u); in expl()
9 (obj_t __user*)(u); in expl()
11 (obj_t*)(v); in expl()
12 (obj_t __user*)(v); in expl()
16 (obj_t*)(o); in expl()
17 (obj_t __user*)(o); in expl()
21 (obj_t*)(p); // w in expl()
22 (obj_t __user*)(p); // ok in expl()
|
| /illumos-gate/usr/src/tools/find_elf/ |
| H A D | find_elf.c | 82 } obj_t; typedef
92 static void add_name(obj_t *, const path_t *, bool);
186 avl_create(&avl_byid, cmp_id, sizeof (obj_t), in main()
187 offsetof(obj_t, obj_avlid)); in main()
188 avl_create(&avl_byname, cmp_objname, sizeof (obj_t), in main()
189 offsetof(obj_t, obj_avlname)); in main()
371 obj_t templ = { in process_file()
375 obj_t *obj = avl_find(&avl_byid, &templ, &where); in process_file()
400 obj_t *obj = a; in print_entry()
534 obj_t *obj = a; in sort_names()
[all …]
|
| /illumos-gate/usr/src/tools/smatch/src/gvpr/ |
| H A D | return-paths | 9 graph_t find_owner(obj_t o, graph_t g)
|
| H A D | subg-fwd | 10 graph_t find_owner(obj_t o, graph_t g)
|
| H A D | subg-rev | 9 graph_t find_owner(obj_t o, graph_t g)
|