This series patches had been tested on rockchip inside kernel.
In order to support the rk3399 SoC timer and turn off interrupts and IPIs to
save power in idle.
Okay, it still works bootup on rk3288/other SoCs, even though many socs hasn't used
the broadcast timer.
History version:
v1:
https://lkml.org/lkml/2016/5/25/186
Easy to test for my borad.
localhost / # cat /proc/interrupts
CPU0 CPU1 CPU2 CPU3 CPU4 CPU5
1: 0 0 0 0 0 0 GICv3 29 Edge arch_timer
...
5: 0 0 0 0 0 0 GICv3 113 Level rk_timer
..
localhost / # cat /proc/timer_list | grep event_handler
get "event_handler: hrtimer_interrupt"
event_handler: tick_handle_oneshot_broadcast
event_handler: hrtimer_interrupt
That should work for my board.