121 static char *devctl_device;  variable
228 	devctl_device = s_malloc(MAXPATHLEN);  in main()
229 	(void) strcpy(devctl_device, orig_path);  in main()
251 			if ((pathlen = readlink(orig_path, devctl_device,  in main()
258 			devctl_device[pathlen] = '\0';  in main()
278 			dcp = devctl_pm_bus_acquire(devctl_device, 0);  in main()
282 				    devctl_device, strerror(errno));  in main()
286 			dcp = devctl_bus_acquire(devctl_device, 0);  in main()
290 				    devctl_device, strerror(errno));  in main()
304 		dcp = devctl_pm_dev_acquire(devctl_device, 0);  in main()
308 			    devctl_device, strerror(errno));  in main()
312 		dcp = devctl_device_acquire(devctl_device, 0);  in main()
316 			    devctl_device, strerror(errno));  in main()
464 	} else if (devctl_get_pathname(dev_hdl, devctl_device, MAXPATHLEN)  in bus_devcreate()
470 		(void) printf("created device %s\n", devctl_device);  in bus_devcreate()