Index: kernel/genarch/include/drivers/z8530/z8530.h
===================================================================
--- kernel/genarch/include/drivers/z8530/z8530.h	(revision c640876a2871d801c859155f90c27f4d2ff40c11)
+++ kernel/genarch/include/drivers/z8530/z8530.h	(revision 0160b1c819f587fd17ea9ba55883dba10a3e4036)
@@ -121,5 +121,5 @@
 } z8530_instance_t;
 
-extern devin_t *z8530_init(z8530_t *, devno_t, inr_t, cir_t, void *);
+extern indev_t *z8530_init(z8530_t *, devno_t, inr_t, cir_t, void *);
 
 #endif