Home
last modified time | relevance | path

Searched refs:__smatch_user_rl (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/validation/
H A Dsm_skb2.c27 __smatch_user_rl(*skb->data); in frob()
28 __smatch_user_rl(skb->data + 1); in frob()
29 __smatch_user_rl(*(int *)skb->data); in frob()
30 __smatch_user_rl(skb->data - skb_network_header(skb)); in frob()
36 __smatch_user_rl(p->a); in frob()
37 __smatch_user_rl(x); in frob()
38 __smatch_user_rl(y); in frob()
H A Dsm_user_data4.c30 __smatch_user_rl(x); in test()
32 __smatch_user_rl(p); in test()
33 __smatch_user_rl(p->x); in test()
H A Dsm_user_data3.c19 __smatch_user_rl(b->y); in test()
21 __smatch_user_rl(b->y); in test()
23 __smatch_user_rl(b->y); in test()
H A Dsm_skb3.c17 __smatch_user_rl(p->a); in frob()
H A Dsm_user_data1.c21 __smatch_user_rl(foo.x); in test()
H A Dsm_user_data2.c22 __smatch_user_rl(a->x); in test()
/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_debug.h15 static inline void __smatch_user_rl(long long val){} in __smatch_user_rl() function