| 4502b6bb720d ("clocksource: arm_arch_timer: rework PPI selection") | |
| ee34f1e63d3d ("clocksource: arm_arch_timer: rename the PPI enum") | |
| 8a5c21dc05ea ("clocksource: arm_arch_timer: rename type macros") | |
| ded24019b6b6 ("clocksource: arm_arch_timer: clean up printk usage") | |
| f947ee147e08 ("clocksource/drivers/arm_arch_timer: Map frame with of_io_request_and_map()") |