drivers/ukintctlr/xpic: Add IRQ allocation limits

Assign the full IDT range to the IRQ allocator.

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Marco Schlumpp <marco@unikraft.io>
Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Sergiu Moga <sergiu@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #1103

diff --git a/drivers/ukintctlr/xpic/include/uk/intctlr/limits.h b/drivers/ukintctlr/xpic/include/uk/intctlr/limits.h
index df4c9b991dcec2e4e4fdf6cf96c92049fc01b61e..6e748f044db95b3e2ccdabae85f2d75d467c796e 100644 (file)
--- a/drivers/ukintctlr/xpic/include/uk/intctlr/limits.h
+++ b/drivers/ukintctlr/xpic/include/uk/intctlr/limits.h
@@ -6,6 +6,11 @@
 #ifndef __UK_INTCTLR_XPIC_LIMITS_H__
 #define __UK_INTCTLR_XPIC_LIMITS_H__
 
-#define UK_INTCTLR_MAX_IRQ                             16
+#define UK_INTCTLR_FIRST_ALLOCABLE_IRQ                 16
+#define UK_INTCTLR_LAST_ALLOCABLE_IRQ                  224
+#define UK_INTCTLR_MAX_IRQ                             (256 - 32)
+
+#define UK_INTCTLR_ALLOCABLE_IRQ_COUNT                 \
+       (UK_INTCTLR_LAST_ALLOCABLE_IRQ - UK_INTCTLR_FIRST_ALLOCABLE_IRQ)
 
 #endif /* __UK_INTCTLR_XPIC_LIMITS_H__ */