Searched defs:devprefix (Results 1 – 3 of 3) sorted by relevance
130 static char *devprefix = "/devices"; variable
76 char *devprefix = "/devices"; variable
53 char *devprefix = "/devices"; variable