Home
last modified time | relevance | path

Searched refs:get_user_stree (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_nospec.c207 stree = get_user_stree(); in mark_user_data_as_nospec()
H A Dsmatch_kernel_user_data.c893 struct stree *get_user_stree(void) in get_user_stree() function
H A Dsmatch.h1079 struct stree *get_user_stree(void);