Sandeep Tripathy 17fcaa3fc4 drivers: timer: get ppi configuration from dt ... 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>		2020-05-18 11:07:57 +02:00
..
arm_arch_timer.h	drivers: timer: get ppi configuration from dt	2020-05-18 11:07:57 +02:00
system_timer.h	kernel/timeout: Make timeout arguments an opaque type	2020-03-31 19:40:47 -04:00