print_dev_state
static void print_dev_state(char *devname, uint_t state);
print_dev_state(orig_path, state);
print_dev_state(argv[0], devstate);
extern void print_dev_state(char *, int);