device: rename the device objects created by DEVICE_INIT()

Rename them from __initconfig_XXX to __device_XXX, which is more
indicative of what they are.

Change-Id: Ia63ae40c16a2b6f0413c37863cddc39f04839b72
Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>
This commit is contained in:
Benjamin Walsh 2016-01-28 14:55:27 -05:00 committed by Anas Nashif
commit 47c04f4ac2

View file

@ -82,7 +82,7 @@ extern "C" {
.config_info = (cfg_info) \ .config_info = (cfg_info) \
}; \ }; \
\ \
static struct device (__initconfig_##dev_name) __used \ static struct device (__device_##dev_name) __used \
__attribute__((__section__(".init_" #level STRINGIFY(prio)))) = { \ __attribute__((__section__(".init_" #level STRINGIFY(prio)))) = { \
.config = &(__config_##dev_name), \ .config = &(__config_##dev_name), \
.driver_data = data \ .driver_data = data \
@ -103,7 +103,7 @@ extern "C" {
* *
* @return The exanded name of the device object created by DEVICE_INIT() * @return The exanded name of the device object created by DEVICE_INIT()
*/ */
#define DEVICE_NAME_GET(name) (_CONCAT(__initconfig_, name)) #define DEVICE_NAME_GET(name) (_CONCAT(__device_, name))
/** /**
* @def DEVICE_GET * @def DEVICE_GET