/*
* $Id: kern_devconfig.h,v 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 */