get_state
struct smatch_state *get_state(int owner, const char *name, struct symbol *sym)
get_state(dev_info_t *dip)