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

diff --git a/linux_module/iface-syscall.c b/linux_module/iface-syscall.c
index 0ed6231..1ed9972 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;
     }