1. 9327e2c arm64: add CPU_HOTPLUG infrastructure by Mark Rutland · 11 years ago
  2. e851b58 arm64: Use irqchip_init() for interrupt controller initialisation by Catalin Marinas · 12 years ago
  3. fb9bd7d6 arm64: IRQ handling by Marc Zyngier · 13 years ago