DM: Fix deinit_mmio_devs() conflicting type
There is "void deinit_mmio_devs()" in ./devicemodel/hw/mmio/core.c,
but "int deinit_mmio_devs()" in ./devicemodel/include/mmio_dev.h
Acked-by: Wang, Yu1
@@ -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_ */
