1. ccc4259 clocksource/drivers/rockchip: Fix bad NO_IRQ usage by Daniel Lezcano · 9 years ago
  2. 99b3fa7 clockevents/drivers/rockchip: Migrate to new 'set-state' interface by Viresh Kumar · 9 years ago
  3. 468b8c4 clockevents: rockchip: Add rockchip timer for rk3288 by Daniel Lezcano · 10 years ago