138 firmware_path_next(const char *drvname, const char *imgname, char *pnbuf,  in firmware_path_next()  argument
170 		pnbuf[i] = *prefix++;  in firmware_path_next()
184 	snprintf(pnbuf + i, MAXPATHLEN - i, "/%s/%s", drvname, imgname);  in firmware_path_next()
186 	return (pnbuf);  in firmware_path_next()
190 firmware_path_first(const char *drvname, const char *imgname, char *pnbuf,  in firmware_path_first()  argument
195 	return (firmware_path_next(drvname, imgname, pnbuf, prefixp));  in firmware_path_first()
208 	char *pnbuf, *path, *prefix;  in firmware_open()  local
222 	pnbuf = PNBUF_GET();  in firmware_open()
223 	KASSERT(pnbuf != NULL);  in firmware_open()
229 	for (path = firmware_path_first(drvname, imgname, pnbuf, &prefix);  in firmware_open()
231 	     path = firmware_path_next(drvname, imgname, pnbuf, &prefix)) {  in firmware_open()
245 	PNBUF_PUT(pnbuf);  in firmware_open()