Index: kernel/genarch/include/drivers/z8530/z8530.h
===================================================================
--- kernel/genarch/include/drivers/z8530/z8530.h	(revision 3c79afe6675938ba3639db7d31f8a682457f7203)
+++ kernel/genarch/include/drivers/z8530/z8530.h	(revision b6dfc32140378ebf1d3b85d0671c44d44c2e8d9b)
@@ -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