1. 12dfc73 microblaze: Fix IRQ flag handling for MSR=0 by Michal Simek · 14 years ago
  2. df9ee29 Fix IRQ flag handling naming by David Howells · 14 years ago
  3. a3cd613 microblaze: Add TRACE_IRQFLAGS_SUPPORT by Michal Simek · 15 years ago
  4. 4dbdc9a microblaze_v8: headers for irq by Michal Simek · 16 years ago