Searched refs:obj_t (Results 1 - 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/validation/
H A DWaddress-space-strict.c4 typedef struct s obj_t; typedef in typeref:struct:s
6 static void expl(ulong u, void *v, obj_t *o, obj_t __user *p)
8 (obj_t*)(u);
9 (obj_t __user*)(u);
11 (obj_t*)(v);
12 (obj_t __user*)(v);
16 (obj_t*)(o);
17 (obj_t __user*)(o);
21 (obj_t*)(
[all...]
H A DWcast-to-as.c5 typedef struct s obj_t; typedef in typeref:struct:s
7 static void expl(ulong u, uintptr_t uip, void *v, obj_t *o, obj_t __user *p)
9 (obj_t*)(u);
10 (obj_t __user*)(u);
12 (obj_t*)(uip);
13 (obj_t __user*)(uip);
15 (obj_t*)(v);
16 (obj_t __user*)(v);
20 (obj_t*)(
[all...]
H A DWaddress-space-all-attr.c10 typedef struct s obj_t; typedef in typeref:struct:s
12 static void expl(obj_t __kernel *k, obj_t __iomem *o,
13 obj_t __user *p, obj_t __percpu *pc,
14 obj_t __rcu *r)
18 (obj_t*)(k);
19 (obj_t __kernel*)(k);
23 (obj_t*)(o);
24 (obj_t __iome
[all...]
H A DWaddress-space-from.c9 typedef struct s obj_t; typedef in typeref:struct:s
11 static void expl(obj_t __kernel *k, obj_t __iomem *o,
12 obj_t __user *p, obj_t __percpu *pc,
13 obj_t __rcu *r)
18 (obj_t*)(k); // OK
19 (obj_t __kernel*)(k); // OK
24 (obj_t*)(o);
25 (obj_t __iome
[all...]
/illumos-gate/usr/src/tools/smatch/src/gvpr/
H A Dreturn-paths9 graph_t find_owner(obj_t o, graph_t g)
H A Dsubg-fwd10 graph_t find_owner(obj_t o, graph_t g)
H A Dsubg-rev9 graph_t find_owner(obj_t o, graph_t g)

Completed in 52 milliseconds