From 47c04f4ac2bf37145382e204e7d6754fefac668b Mon Sep 17 00:00:00 2001 From: Benjamin Walsh Date: Thu, 28 Jan 2016 14:55:27 -0500 Subject: [PATCH] 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 --- include/device.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/include/device.h b/include/device.h index 37a4fd540ba..57be9b05d52 100644 --- a/include/device.h +++ b/include/device.h @@ -82,7 +82,7 @@ extern "C" { .config_info = (cfg_info) \ }; \ \ - static struct device (__initconfig_##dev_name) __used \ + static struct device (__device_##dev_name) __used \ __attribute__((__section__(".init_" #level STRINGIFY(prio)))) = { \ .config = &(__config_##dev_name), \ .driver_data = data \ @@ -103,7 +103,7 @@ extern "C" { * * @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