From: Julien Grall <julien.grall@linaro.org>
Date: Fri, 30 Jan 2015 18:49:16 +0000 (+0000)
Subject: xen/arm: gic-v2: Change the device name in DT_DEVICE_START
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~3732
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=256bdee6feae6dd37812872fd6312ccf25547210;p=xen.git

xen/arm: gic-v2: Change the device name in DT_DEVICE_START

I'm not sure why a ':' has been added in the name... But none of the
other usages doesn't have it.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
---

diff --git a/xen/arch/arm/gic-v2.c b/xen/arch/arm/gic-v2.c
index 31fb81a076..ee400b6926 100644
--- a/xen/arch/arm/gic-v2.c
+++ b/xen/arch/arm/gic-v2.c
@@ -770,7 +770,7 @@ static const char * const gicv2_dt_compat[] __initconst =
     NULL
 };
 
-DT_DEVICE_START(gicv2, "GICv2:", DEVICE_GIC)
+DT_DEVICE_START(gicv2, "GICv2", DEVICE_GIC)
         .compatible = gicv2_dt_compat,
         .init = gicv2_init,
 DT_DEVICE_END