2 * Copyright 2004-2008, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
3 * Distributed under the terms of the MIT License.
5 #ifndef _KERNEL_DEVICE_MANAGER_H
6 #define _KERNEL_DEVICE_MANAGER_H
9 #include <device_manager.h>
18 void legacy_driver_add_preloaded(struct kernel_args
*args
);
20 status_t
device_manager_probe(const char *path
, uint32 updateCycle
);
21 status_t
device_manager_init(struct kernel_args
*args
);
22 status_t
device_manager_init_post_modules(struct kernel_args
*args
);
28 #endif /* _KERNEL_DEVICE_MANAGER_H */