refactor: build option for interrupt ids
Make HF_NUM_INTIDS a build option for platform with large number of
interrupts. For large systems with GIC extensions that allow > 4K
interrupts, 64 interrupts is inadequate. An example partition that may
require more than 64 interrupts is a RAS SP that handles many interrupts
from many sources on a large server type SoC.
Note that the limit of max number of interrupt IDs is set to 5120 based
on the latest GIC specs for extended SPI range (not using ITS).
Signed-off-by: Raghu Krishnamurthy <raghu.ncstate@gmail.com>
Change-Id: Ic3b1741b61a4a796da36f505357af86949b249e6
diff --git a/src/api.c b/src/api.c
index 20bdd17..ca39086 100644
--- a/src/api.c
+++ b/src/api.c
@@ -1884,7 +1884,7 @@
*/
uint32_t api_interrupt_get(struct vcpu *current)
{
- uint8_t i;
+ uint32_t i;
uint32_t first_interrupt = HF_INVALID_INTID;
struct vcpu_locked current_locked;