Searched refs:user_t (Results 1 – 2 of 2) sorted by relevance
163 } user_t; typedef165 user_t *get_symbolic_user(void);167 user_t *user = get_symbolic_user(); in test_underflow_symbolic_2()
21 typedef int user_t; in g() typedef22 user_t a = 1; in g()