hw/sysbus.h: Increase maximum number of device IRQs.
authorEvgeny Voevodin <e.voevodin@samsung.com>
Tue, 17 Jan 2012 01:08:19 +0000 (02:08 +0100)
committerAndrzej Zaborowski <andrew.zaborowski@intel.com>
Tue, 17 Jan 2012 01:08:19 +0000 (02:08 +0100)
commitea0e68411e3276060999e2e7db569e3009fc3b81
tree8e70c17567b4501b51994622a8958017f13faf55
parent753a97c6b40c9ade45aae2e96ed44268aa7007e6
hw/sysbus.h: Increase maximum number of device IRQs.

Samsung exynos4210 Interrupt Combiner needs 512 IRQ sources.

Signed-off-by: Evgeny Voevodin <e.voevodin@samsung.com>
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Andrzej Zaborowski <andrew.zaborowski@intel.com>
hw/sysbus.h