michaelh/zephyr
1
0
Fork 0
Code Releases Activity

drivers: timer: get ppi configuration from dt

Browse source 
Use device tree provided configurations for arm architecture timer
PPIs.

This fixes issue of timer ppi not working on most hardware where
edge-triggered PPI are not supported.

Signed-off-by: Sandeep Tripathy <sandeep.tripathy@broadcom.com>
This commit is contained in:
Sandeep Tripathy 2020-05-12 15:30:03 +05:30 • committed by Carles Cufí
commit 17fcaa3fc4
3 changed files with 18 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
drivers/timer/arm_arch_timer.c
View file

@ -48,8 +48,8 @@ int z_clock_driver_init(struct device *device)
{
ARG_UNUSED(device);
IRQ_CONNECT(ARM_ARCH_TIMER_IRQ, 0, arm_arch_timer_compare_isr, 0,
ARM_TIMER_FLAGS);
IRQ_CONNECT(ARM_ARCH_TIMER_IRQ, ARM_ARCH_TIMER_PRIO,
arm_arch_timer_compare_isr, NULL, ARM_ARCH_TIMER_FLAGS);
arm_arch_timer_set_compare(arm_arch_timer_count() + CYC_PER_TICK);
arm_arch_timer_enable(true);
irq_enable(ARM_ARCH_TIMER_IRQ);