1. e851b58 arm64: Use irqchip_init() for interrupt controller initialisation by Catalin Marinas · 11 years ago
  2. 08e875c arm64: SMP support by Catalin Marinas · 12 years ago
  3. fb9bd7d6 arm64: IRQ handling by Marc Zyngier · 12 years ago