Index: kernel/genarch/src/ofw/ebus.c
===================================================================
--- kernel/genarch/src/ofw/ebus.c	(revision 0b414b5bfb083f200dcb33bd41d7b8a75f79142e)
+++ kernel/genarch/src/ofw/ebus.c	(revision 233af8c563ae6dbff256dbcf9920cbce40be88d0)
@@ -75,5 +75,5 @@
 }
 
-bool ofw_ebus_map_interrupts(ofw_tree_node_t *node, ofw_ebus_reg_t *reg, uint32_t interrupt, int *ino)
+bool ofw_ebus_map_interrupts(ofw_tree_node_t *node, ofw_ebus_reg_t *reg, uint32_t interrupt, int *inr)
 {
 	ofw_tree_property_t *prop;
@@ -112,10 +112,10 @@
 	/*
 	 * We found the device that functions as an interrupt controller
-	 * for the interrupt. We also found mapping from interrupt to INO.
+	 * for the interrupt. We also found mapping from interrupt to INR.
 	 */
 
 	controller = ofw_tree_find_node_by_handle(ofw_tree_lookup("/"), intr_map[i].controller_handle);
 	
-	*ino = intr_map[i].controller_ino;
+	*inr = intr_map[i].controller_inr;
 	return true;
 }
Index: kernel/genarch/src/ofw/fhc.c
===================================================================
--- kernel/genarch/src/ofw/fhc.c	(revision 0b414b5bfb083f200dcb33bd41d7b8a75f79142e)
+++ kernel/genarch/src/ofw/fhc.c	(revision 233af8c563ae6dbff256dbcf9920cbce40be88d0)
@@ -110,5 +110,5 @@
 }
 
-bool ofw_fhc_map_interrupts(ofw_tree_node_t *node, ofw_fhc_reg_t *reg, uint32_t interrupt, int *ino)
+bool ofw_fhc_map_interrupts(ofw_tree_node_t *node, ofw_fhc_reg_t *reg, uint32_t interrupt, int *inr)
 {
 	fhc_t *fhc = NULL;
@@ -126,5 +126,5 @@
 	fhc_enable_interrupt(fhc, interrupt);
 	
-	*ino = interrupt;
+	*inr = interrupt;
 	return true;
 }