Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


patch for v3_dump_mem print output
[palacios.releases.git] / linux_module / linux-exts.c
index d07cef0..089e67e 100644 (file)
@@ -45,12 +45,12 @@ int init_vm_extensions(struct v3_guest * guest) {
            continue;
        }
        
-       printk("Registering Linux Extension (%s)\n", ext_impl->name);
+       INFO("Registering Linux Extension (%s)\n", ext_impl->name);
 
-       ext = kmalloc(sizeof(struct vm_ext), GFP_KERNEL);
+       ext = palacios_alloc(sizeof(struct vm_ext));
        
        if (!ext) {
-           printk("Error allocating VM extension (%s)\n", ext_impl->name);
+           WARNING("Error allocating VM extension (%s)\n", ext_impl->name);
            return -1;
        }
 
@@ -76,11 +76,11 @@ int deinit_vm_extensions(struct v3_guest * guest) {
        if (ext->impl->guest_deinit) {
            ext->impl->guest_deinit(guest, ext->vm_data);
        } else {
-           printk("WARNING: Extension %s, does not have a guest deinit function\n", ext->impl->name);
+           WARNING("WARNING: Extension %s, does not have a guest deinit function\n", ext->impl->name);
        }
 
        list_del(&(ext->node));
-       kfree(ext);
+       palacios_free(ext);
     }
 
     return 0;
@@ -94,10 +94,10 @@ int init_lnx_extensions( void ) {
 
     while (tmp_ext != __stop__lnx_exts[0]) {
 
-       printk("tmp_ext=%p\n", tmp_ext);
+       DEBUG("tmp_ext=%p\n", tmp_ext);
 
        if (tmp_ext->init != NULL) {
-           printk("Registering Linux Extension (%s)\n", tmp_ext->name);
+           INFO("Registering Linux Extension (%s)\n", tmp_ext->name);
            tmp_ext->init();
        }
 
@@ -115,11 +115,11 @@ int deinit_lnx_extensions( void ) {
     int i = 0;
 
     while (tmp_ext != __stop__lnx_exts[0]) {
-       printk("Cleaning up Linux Extension (%s)\n", tmp_ext->name);
+       INFO("Cleaning up Linux Extension (%s)\n", tmp_ext->name);
        if (tmp_ext->deinit != NULL) {
            tmp_ext->deinit();
        } else {
-           printk("WARNING: Extension %s does not have a global deinit function\n", tmp_ext->name);
+           WARNING("WARNING: Extension %s does not have a global deinit function\n", tmp_ext->name);
        }
 
        tmp_ext = __start__lnx_exts[++i];