diff options
| author | Julien Grall <julien.grall@linaro.org> | 2013-04-26 19:45:26 +0100 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2013-05-13 11:59:58 +0100 |
| commit | f5bde3da40ea79cbd4a1ab4de28e46e338bf7486 (patch) | |
| tree | 060d7b386b778288964e31a7865a21b5239898c3 /xen/include/asm-arm/time.h | |
| parent | 71fa862f21e7097c479095274e87e846ce8e29c7 (diff) | |
| download | xen-f5bde3da40ea79cbd4a1ab4de28e46e338bf7486.tar.gz xen-f5bde3da40ea79cbd4a1ab4de28e46e338bf7486.tar.bz2 xen-f5bde3da40ea79cbd4a1ab4de28e46e338bf7486.zip | |
xen/arm: Retrieve timer interrupts from the device tree
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 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/xen/include/asm-arm/time.h b/xen/include/asm-arm/time.h index c16bf0894e..05833ce60f 100644 --- a/xen/include/asm-arm/time.h +++ b/xen/include/asm-arm/time.h @@ -11,6 +11,18 @@ static inline cycles_t get_cycles (void) struct tm; struct tm wallclock_time(void); +/* List of timer's IRQ */ +enum timer_ppi +{ + TIMER_PHYS_SECURE_PPI = 0, + TIMER_PHYS_NONSECURE_PPI = 1, + TIMER_VIRT_PPI = 2, + TIMER_HYP_PPI = 3, + MAX_TIMER_PPI = 4, +}; + +/* Route timer's IRQ on this CPU */ +extern void __cpuinit route_timer_interrupt(void); /* Set up the timer interrupt on this CPU */ extern void __cpuinit init_timer_interrupt(void); |