/*
 * $Id: kern_devconfig.h,v 1.1.1.1 2007/10/16 08:41:05 init Exp $
 */
#ifndef _SYS_KERN_DEVCONFIG_H
#define _SYS_KERN_DEVCONFIG_H
#include <sys/types.h>
#include <sys/device.h>

void 			devconfig_recurse(void);
void 			devconfig_iterate(void);

void 			devconfig_attach_root(void);
int 			devconfig_attach_childs(struct device *devp);
int 			devconfig_target(struct device *devp);

struct device 	*devconfig_findbyname(const char *dv_name, const uint8_t dv_minor);
struct driverinfo *devconfig_finddriverinfo(const char *);

#endif /* _SYS_KERN_DEVCONFIG_H */