X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fiface-syscall.c;h=8e94354b4dc3d5cd92933a41ceae95ef2547b4fd;hb=da0b4bb80de755529f47b9ca57ccb0c2cefae15b;hp=0ed623190a2de96aa8c566210357ab7fa94fc834;hpb=c64dbfd9f9f0cd80a659c82b52d73918aa975d53;p=palacios.git

diff --git a/linux_module/iface-syscall.c b/linux_module/iface-syscall.c
index 0ed6231..8e94354 100644
--- a/linux_module/iface-syscall.c
+++ b/linux_module/iface-syscall.c
@@ -23,7 +23,7 @@ static int vm_syscall_ctrl (struct v3_guest * guest, unsigned int cmd, unsigned
     int ret;
 
     if (copy_from_user(&syscall_cmd, (void __user *)arg, sizeof(struct v3_syscall_cmd))) {
-        printk("Palacios: error copying syscall command from userspace\n");
+        ERROR("palacios: error copying syscall command from userspace\n");
         return -EFAULT;
     }
     
@@ -32,29 +32,29 @@ static int vm_syscall_ctrl (struct v3_guest * guest, unsigned int cmd, unsigned
         case SYSCALL_OFF: {
             ret = v3_syscall_off(guest->v3_ctx, syscall_cmd.syscall_nr);
             if (ret < 0) {
-                printk("Palacios: error deactivating syscall exiting for syscall nr: %d\n", syscall_cmd.syscall_nr);
+                ERROR("palacios: error deactivating syscall exiting for syscall nr: %d\n", syscall_cmd.syscall_nr);
             }
             break;
         }
         case SYSCALL_ON: {
             ret = v3_syscall_on(guest->v3_ctx, syscall_cmd.syscall_nr);
             if (ret < 0) {
-                printk("Palacios: error activating syscall exiting for syscall nr: %d\n", syscall_cmd.syscall_nr);
+                ERROR("palacios: error activating syscall exiting for syscall nr: %d\n", syscall_cmd.syscall_nr);
             }
             break;
         }
         case SYSCALL_STAT: {
             ret = v3_syscall_stat(guest->v3_ctx, syscall_cmd.syscall_nr);  
             if (ret == SYSCALL_OFF)
-                printk("Palacios: exiting for syscall #%d is OFF\n", syscall_cmd.syscall_nr);
+                INFO("palacios: exiting for syscall #%d is OFF\n", syscall_cmd.syscall_nr);
             else if (ret == SYSCALL_ON) 
-                printk("Palacios: exiting for syscall #%d is ON\n", syscall_cmd.syscall_nr);
+                INFO("palacios: exiting for syscall #%d is ON\n", syscall_cmd.syscall_nr);
             else 
-                printk("Palacios: error stating syscall nr: %d\n", syscall_cmd.syscall_nr);
+                INFO("palacios: error stating syscall nr: %d\n", syscall_cmd.syscall_nr);
             break;
         }
         default:
-            printk("Palacios: error - invalid syscall command\n");
+            ERROR("palacios: error - invalid syscall command\n");
             return -1;
     }
       
@@ -79,6 +79,7 @@ static int guest_init_syscall_ctrl (struct v3_guest * guest, void ** vm_data) {
 
 
 static int guest_deinit_syscall_ctrl (struct v3_guest * guest, void * vm_data) {
+    remove_guest_ctrl(guest, V3_VM_SYSCALL_CTRL);
     return 0;
 }