xen/arm: vtimer: rename vcpu_domain_init into domain_vtimer_init
authorJulien Grall <julien.grall@linaro.org>
Thu, 1 May 2014 12:31:15 +0000 (13:31 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 2 May 2014 12:34:36 +0000 (13:34 +0100)
commite796bc30ab39915884e4de5e808b450b6c92cd30
tree2fd62621609ae02c563e4cdf9961745935a36ef7
parent7a7776a916a4d117c72ecf417a623fa20a505b90
xen/arm: vtimer: rename vcpu_domain_init into domain_vtimer_init

The current function name vcpu_domain_init doesn't reflect what the function
does and might be misused.

Rename it into domain_vtimer_init.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain.c
xen/arch/arm/vtimer.c
xen/arch/arm/vtimer.h