Symbol: devfree
usr/src/cmd/devmgmt/cmds/devfree.c
221
if (devfree(key, (*plk)->devname) != 0)
usr/src/cmd/devmgmt/cmds/devfree.c
282
if (devfree(key, *argp) != 0) {
usr/src/cmd/svr4pkg/hdrs/libadm.h
171
extern int devfree __P((long key, char *device));
usr/src/head/devmgmt.h
151
int devfree(int, char *);