diff options
author | Julien Grall <julien.grall@linaro.org> | 2013-05-09 18:11:02 +0100 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2013-05-13 11:59:59 +0100 |
commit | 95edff23232dbc94761d7e956669723ffb5c69bc (patch) | |
tree | 2fb352c4f68c0a590dc7bd7a8feb88c629d34312 /xen/include/asm-arm/time.h | |
parent | 699f48cd134f6cf92375f0b00fcb67cffc8f40b4 (diff) | |
download | xen-95edff23232dbc94761d7e956669723ffb5c69bc.tar.gz xen-95edff23232dbc94761d7e956669723ffb5c69bc.tar.bz2 xen-95edff23232dbc94761d7e956669723ffb5c69bc.zip |
xen/arm: Don't hardcode virtual timer IRQs
Define virtual timer IRQs per VCPU
Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'xen/include/asm-arm/time.h')
-rw-r--r-- | xen/include/asm-arm/time.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/xen/include/asm-arm/time.h b/xen/include/asm-arm/time.h index 05833ce60f..f7aa86864f 100644 --- a/xen/include/asm-arm/time.h +++ b/xen/include/asm-arm/time.h @@ -21,6 +21,9 @@ enum timer_ppi MAX_TIMER_PPI = 4, }; +/* Get one of the timer IRQ description */ +const struct dt_irq* timer_dt_irq(enum timer_ppi ppi); + /* Route timer's IRQ on this CPU */ extern void __cpuinit route_timer_interrupt(void); |