xen/arm: timer: replace timer_dt_irq by timer_get_irq
authorJulien Grall <julien.grall@linaro.org>
Tue, 22 Apr 2014 12:58:33 +0000 (13:58 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 2 May 2014 12:14:07 +0000 (13:14 +0100)
commit38b18d67a79cefad31b278df41ad7e8f37d27d8c
tree773ce39f98af55bb844084de0227ce9b2e796b8d
parentaa956976a9a156dabbdf98e0e628a30390dd2292
xen/arm: timer: replace timer_dt_irq by timer_get_irq

The function is nearly only used to retrieve the IRQ number.

There is one place where the IRQ type is used (in domain_build.c) but
as the timer IRQ is virtualised for guest we might not have the same property
(e.g active-low level sensitive interrupt).

Replace timer_dt_irq by timer_get_irq which will return the IRQ number.

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