[Skiboot] [PATCH 02/11] xive/p9: Clarify the global IRQ number encoding

[Cédric Le Goater]

On P9, the global IRQ number is limited to 24 bits because the XICS
emulation encodes the CPPR value in the top 8 bits. The following
4 bits are used to encode the XIVE block number, which leaves 20 bits
for the interrupt index number. Introduce a definition reflecting the
size of this bitfield and check that number of interrupts per chip is
not overflowing our encoding.

Signed-off-by: Cédric Le Goater <clg at kaod.org>
---
 hw/xive.c | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/hw/xive.c b/hw/xive.c
index b9cdc4b0e317..3d016934a96d 100644
--- a/hw/xive.c
+++ b/hw/xive.c
@@ -498,11 +498,16 @@ static uint32_t xive_chip_to_block(uint32_t chip_id)
  * Global interrupt numbers for non-escalation interrupts are thus
  * limited to 24 bits which is necessary for our XICS emulation since
  * the top 8 bits are reserved for the CPPR value.
- *
  */
-#define GIRQ_TO_BLK(__g)	(((__g) >> 20) & 0xf)
-#define GIRQ_TO_IDX(__g)	((__g) & 0x000fffff)
-#define BLKIDX_TO_GIRQ(__b,__i)	(((uint32_t)(__b)) << 20 | (__i))
+#define INT_SHIFT		20
+
+#if XIVE_INT_ORDER > INT_SHIFT
+#error "Too many ESBs for IRQ encoding"
+#endif
+
+#define GIRQ_TO_BLK(__g)	(((__g) >> INT_SHIFT) & 0xf)
+#define GIRQ_TO_IDX(__g)	((__g) & ((1 << INT_SHIFT) - 1))
+#define BLKIDX_TO_GIRQ(__b,__i)	(((uint32_t)(__b)) << INT_SHIFT | (__i))
 #define GIRQ_IS_ESCALATION(__g)	((__g) & 0x01000000)
 #define MAKE_ESCALATION_GIRQ(__b,__i)(BLKIDX_TO_GIRQ(__b,__i) | 0x01000000)
 
-- 
2.25.4