1/*
2 * Copyright 2004-2008, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 */
5#ifndef _KERNEL_DEVICE_MANAGER_H
6#define _KERNEL_DEVICE_MANAGER_H
7
8
9#include <device_manager.h>
10
11struct kernel_args;
12
13
14#ifdef __cplusplus
15extern "C" {
16#endif
17
18void legacy_driver_add_preloaded(struct kernel_args *args);
19
20status_t device_manager_probe(const char *path, uint32 updateCycle);
21status_t device_manager_init(struct kernel_args *args);
22status_t device_manager_init_post_modules(struct kernel_args *args);
23
24#ifdef __cplusplus
25}
26#endif
27
28#endif	/* _KERNEL_DEVICE_MANAGER_H */
29