Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/validation/
H A Dsm_user_data4.c10 int returns_user_data(void) in returns_user_data() function
29 x = returns_user_data(); in test()
/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_kernel_user_data.c46 static const char *returns_user_data[] = { variable
432 for (i = 0; i < ARRAY_SIZE(returns_user_data); i++) { in get_rl_from_function()
433 if (strcmp(expr->fn->symbol_name->name, returns_user_data[i]) == 0) { in get_rl_from_function()
1509 for (i = 0; i < ARRAY_SIZE(returns_user_data); i++) { in register_kernel_user_data()
1510 add_function_assign_hook(returns_user_data[i], &match_user_assign_function, NULL); in register_kernel_user_data()
1511 add_function_hook(returns_user_data[i], &match_returns_user_rl, NULL); in register_kernel_user_data()