*/
#include <palacios/vmm.h>
-#include <palacios/vmm_stream.h>
+#include <interfaces/vmm_stream.h>
#include <palacios/vmm_dev_mgr.h>
#include <palacios/vmm_sprintf.h>
#include <palacios/vmm_host_events.h>
return v3_stream_write(state->stream, buf, length);
}
-static int stream_free(struct vm_device * dev) {
- struct stream_state * state = (struct stream_state *)(dev->private_data);
-
+static int stream_free(struct stream_state * state) {
v3_stream_close(state->stream);
// detach host event
static struct v3_device_ops dev_ops = {
- .free = stream_free,
+ .free = (int (*)(void *))stream_free,
};
static int stream_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {