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#include <lock.h>
11
12struct kernel_args;
13
14
15#ifdef __cplusplus
16extern "C" {
17#endif
18
19void legacy_driver_add_preloaded(struct kernel_args *args);
20
21status_t device_manager_probe(const char *path, uint32 updateCycle);
22status_t device_manager_init(struct kernel_args *args);
23status_t device_manager_init_post_modules(struct kernel_args *args);
24
25recursive_lock* device_manager_get_lock();
26
27#ifdef __cplusplus
28}
29#endif
30
31#endif	/* _KERNEL_DEVICE_MANAGER_H */
32