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 656b789da2d7f7f9eb0de7c8dc55ec4fba5a0f9d)
@@ -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