Index: abi/include/ddi/irq.h
===================================================================
--- abi/include/ddi/irq.h	(revision c617e98a55fbecab2f7223904925b71f81f9dd13)
+++ abi/include/ddi/irq.h	(revision 856a36bb2e23669255567f2e3bae53514fdf4a26)
@@ -35,4 +35,9 @@
 #ifndef ABI_DDI_IRQ_H_
 #define ABI_DDI_IRQ_H_
+
+typedef struct {
+	uintptr_t base;
+	size_t size;
+} irq_pio_range_t;
 
 typedef enum {
@@ -97,4 +102,6 @@
 
 typedef struct {
+	size_t rangecount;
+	irq_pio_range_t *ranges;
 	size_t cmdcount;
 	irq_cmd_t *cmds;