diff options
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/device/device.h | 6 | ||||
| -rw-r--r-- | src/include/pc80/mc146818rtc.h | 4 |
2 files changed, 7 insertions, 3 deletions
diff --git a/src/include/device/device.h b/src/include/device/device.h index 06a9245145..5e0e19a2e5 100644 --- a/src/include/device/device.h +++ b/src/include/device/device.h @@ -90,7 +90,11 @@ struct device { void *chip_info; }; -extern struct device dev_root; /* root bus */ +/** + * This is the root of the device tree. The device tree is defined in the + * static.c file and is generated by the config tool at compile time. + */ +extern struct device dev_root; extern struct device *all_devices; /* list of all devices */ diff --git a/src/include/pc80/mc146818rtc.h b/src/include/pc80/mc146818rtc.h index d510bd2d22..1561e4e811 100644 --- a/src/include/pc80/mc146818rtc.h +++ b/src/include/pc80/mc146818rtc.h @@ -95,9 +95,9 @@ #if !defined(ASSEMBLY) void rtc_init(int invalid); #if CONFIG_USE_OPTION_TABLE == 1 -int get_option(void *dest, char *name); +int get_option(void *dest, const char *name); #else -static inline int get_option(void *dest, char *name) { return -2; } +static inline int get_option(void *dest, const char *name) { return -2; } #endif #endif |