Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_kernel_user_data.c898 static int user_data_flag; variable
986 user_data_flag = 1; in var_user_rl()
1008 user_data_flag = 0; in get_user_rl()
1011 if (!user_data_flag || no_user_data_flag) in get_user_rl()