4c63796838
That number is not representing the number of PIC IRQs, but rather the number of "standard", fixed-number IRQs on a (legacy) x86 PC platform. Change-Id: I1f0fff4c6d24f1d49764efef93f6e5ca3f181168 Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com> |
||
---|---|---|
.. | ||
ia32 | ||
ia32_pci |