xen/arm: gic: Rename make_dt_node into make_hwdom_dt_node
authorJulien Grall <julien.grall@citrix.com>
Wed, 1 Jul 2015 11:01:02 +0000 (12:01 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 3 Jul 2015 09:07:14 +0000 (10:07 +0100)
commitadd07bb528297c75cadb0688964d5df8716e731f
treed592f1c41de785a7d0943623ae22b2bb16f37d5e
parentbbc317721c7ca3ab06502952f13de64aafebccec
xen/arm: gic: Rename make_dt_node into make_hwdom_dt_node

Making it clear that the callback is only used to make the device tree node
for the hardware domain.

Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain_build.c
xen/arch/arm/gic-hip04.c
xen/arch/arm/gic-v2.c
xen/arch/arm/gic-v3.c
xen/arch/arm/gic.c
xen/include/asm-arm/gic.h