diff --git a/devicemodel/include/mmio_dev.h b/devicemodel/include/mmio_dev.h
index a3be281aa..d3307899c 100644
--- a/devicemodel/include/mmio_dev.h
+++ b/devicemodel/include/mmio_dev.h
@@ -12,6 +12,6 @@ int parse_pt_acpidev(char *arg);
 int parse_pt_mmiodev(char *arg);
 
 int init_mmio_devs(struct vmctx *ctx);
-int deinit_mmio_devs(struct vmctx *ctx);
+void deinit_mmio_devs(struct vmctx *ctx);
 
 #endif /* _MMIO_DEV_H_ */