Searched refs:dev_name_t (Results 1 – 5 of 5) sorted by relevance
119 typedef char dev_name_t[128]; /* must match device_types.defs */ typedef
84 name : dev_name_t);
105 type dev_name_t = c_string[*:128];
148 in name : dev_name_t
187 in name : dev_name_t;