_update_devalloc_db
_update_devalloc_db(&devlist, 0, DA_ADD, NULL, root_dir);
(void) _update_devalloc_db(&devlist, devtype, DA_REMOVE,
_update_devalloc_db(&devlist, 0, DA_ADD, NULL, root_dir);
extern void _update_devalloc_db(devlist_t *, int, int, char *, char *);