|
|
|
@ -91,7 +91,9 @@ extern char *stdio_names[MAX_FILES]; |
|
|
|
|
*/ |
|
|
|
|
int device_register (device_t * dev); |
|
|
|
|
int devices_init (void); |
|
|
|
|
#ifdef CONFIG_SYS_DEVICE_DEREGISTER |
|
|
|
|
int device_deregister(char *devname); |
|
|
|
|
#endif |
|
|
|
|
struct list_head* device_get_list(void); |
|
|
|
|
device_t* device_get_by_name(char* name); |
|
|
|
|
device_t* device_clone(device_t *dev); |
|
|
|
|