Index: kernel/arch/ppc32/include/drivers/cuda.h
===================================================================
--- kernel/arch/ppc32/include/drivers/cuda.h	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
+++ kernel/arch/ppc32/include/drivers/cuda.h	(revision 8513ad77da21520006dc3e18de1e95a2b6f59c6f)
@@ -39,7 +39,5 @@
 #include <typedefs.h>
 
-#define CUDA_IRQ 10
-
-extern void cuda_init(uintptr_t base, size_t size);
+extern void cuda_init(devno_t devno, uintptr_t base, size_t size);
 extern int cuda_get_scancode(void);
 extern void cuda_grab(void);
Index: kernel/arch/ppc32/include/interrupt.h
===================================================================
--- kernel/arch/ppc32/include/interrupt.h	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
+++ kernel/arch/ppc32/include/interrupt.h	(revision 8513ad77da21520006dc3e18de1e95a2b6f59c6f)
@@ -38,10 +38,6 @@
 #include <arch/exception.h>
 
-#define IRQ_COUNT	64
-
-#define IVT_ITEMS   (16 + IRQ_COUNT)
-#define INT_OFFSET  16
-
-#define int_register(it, name, handler) exc_register(((it) + INT_OFFSET), name, handler)
+#define IVT_ITEMS 16
+#define IVT_FIRST 0
 
 #define VECTOR_DATA_STORAGE 2
