Added host keyed stream support

[palacios.git] / palacios / src / palacios / vmm_file.c

diff --git a/palacios/src/palacios/vmm_file.c b/palacios/src/palacios/vmm_file.c
index e0e9a54..f2e191a 100644 (file)
--- a/palacios/src/palacios/vmm_file.c
+++ b/palacios/src/palacios/vmm_file.c
@@ -35,9 +35,9 @@ void V3_Init_File(struct v3_file_hooks * hooks) {
 
 
 v3_file_t v3_file_open(struct v3_vm_info * vm, char * path, uint8_t mode) {
+    void * priv_data = NULL;
     V3_ASSERT(file_hooks);
     V3_ASSERT(file_hooks->open);
-    void * priv_data = NULL;
     
     if (vm) {
        priv_data = vm->host_priv_data;
@@ -48,7 +48,7 @@ v3_file_t v3_file_open(struct v3_vm_info * vm, char * path, uint8_t mode) {
 
 int v3_file_close(v3_file_t file) {
     V3_ASSERT(file_hooks);
-    V3_ASSERT(file_hooks->open);
+    V3_ASSERT(file_hooks->close);
     
     return file_hooks->close(file);
 }