Index: uspace/lib/c/include/ddi.h
===================================================================
--- uspace/lib/c/include/ddi.h	(revision c6ae4c22299e63b14110ce5d5b471aa67f9861c9)
+++ uspace/lib/c/include/ddi.h	(revision 8873c01d668ba423e24ddeebb9222b4e3e66bc31)
@@ -53,6 +53,6 @@
 extern int pio_enable(void *, size_t, void **);
 
-extern int register_irq(int, int, int, irq_code_t *);
-extern int unregister_irq(int, int);
+extern int irq_register(int, int, int, irq_code_t *);
+extern int irq_unregister(int, int);
 
 #endif