drivers/ukintctlr/xpic: Add MAX_IRQ limits for xPIC

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

Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Marco Schlumpp <marco@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
new file mode 100644 (file)
index 0000000..df4c9b9
--- /dev/null
+++ b/drivers/ukintctlr/xpic/include/uk/intctlr/limits.h
@@ -0,0 +1,11 @@
+/* Copyright (c) 2023, Unikraft GmbH and The Unikraft Authors.
+ * Licensed under the BSD-3-Clause License (the "License").
+ * You may not use this file except in compliance with the License.
+ */
+
+#ifndef __UK_INTCTLR_XPIC_LIMITS_H__
+#define __UK_INTCTLR_XPIC_LIMITS_H__
+
+#define UK_INTCTLR_MAX_IRQ                             16
+
+#endif /* __UK_INTCTLR_XPIC_LIMITS_H__ */