Michal Meloun 20fc8f2bb5 ARM: Cumulative fixes for GIC
- fix detection of interrupt root controller
 - allow (but warn) unsupported configuration bits
 - dont send EOI for spurious interrupts
 - print more informations for spurious interrupts
 - use device_printf() where appropriate

Reviewed by:	ian (earlier version)
Approved by:	kib (mentor)
2015-11-28 12:09:36 +00:00
..
2015-11-28 12:09:36 +00:00
2015-11-28 01:09:30 +00:00
2015-11-19 08:04:05 +00:00
2015-11-12 10:31:14 +00:00
2015-05-29 14:03:07 +00:00