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 11 struct kernel_args; 12 13 14 #ifdef __cplusplus 15 extern "C" { 16 #endif 17 18 void legacy_driver_add_preloaded(struct kernel_args *args); 19 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); 23 24 #ifdef __cplusplus 25 } 26 #endif 27 28 #endif /* _KERNEL_DEVICE_MANAGER_H */ 29