linux_module/main.c

   1 /*
   2    Palacios main control interface
   3    (c) Jack Lange, 2010
   4  */
   5
   6 #include <linux/kernel.h>
   7 #include <linux/module.h>
   8 #include <linux/moduleparam.h>
   9 #include <linux/errno.h>
  10 #include <linux/percpu.h>
  11 #include <linux/fs.h>
  12 #include <linux/uaccess.h>
  13 #include <linux/device.h>
  14 #include <linux/cdev.h>
  15
  16 #include <linux/io.h>
  17
  18 #include <linux/file.h>
  19 #include <linux/spinlock.h>
  20 #include <linux/kthread.h>
  21
  22 #include <linux/proc_fs.h>
  23 #include <linux/seq_file.h>
  24
  25 #include <palacios/vmm.h>
  26
  27 #include "palacios.h"
  28 #include "mm.h"
  29 #include "vm.h"
  30 #include "numa.h"
  31 #include "allow_devmem.h"
  32 #include "memcheck.h"
  33 #include "lockcheck.h"
  34
  35 #include "linux-exts.h"
  36
  37 MODULE_LICENSE("GPL");
  38
  39 // Module parameter
  40 int cpu_list[NR_CPUS] = {};
  41 int cpu_list_len = 0;
  42 module_param_array(cpu_list, int, &cpu_list_len, 0644);
  43 MODULE_PARM_DESC(cpu_list, "Comma-delimited list of CPUs that Palacios will run on");
  44
  45 static int allow_devmem = 0;
  46 module_param(allow_devmem, int, 0);
  47 MODULE_PARM_DESC(allow_devmem, "Allow general user-space /dev/mem access even if kernel is strict");
  48
  49 // Palacios options parameter
  50 static char *options;
  51 module_param(options, charp, 0);
  52 MODULE_PARM_DESC(options, "Generic options to internal Palacios modules");
  53
  54
  55 int mod_allocs = 0;
  56 int mod_frees = 0;
  57
  58 static int v3_major_num = 0;
  59
  60 static struct v3_guest * guest_map[MAX_VMS] = {[0 ... MAX_VMS - 1] = 0};
  61 static struct proc_dir_entry * palacios_proc_dir = NULL;
  62
  63 struct class * v3_class = NULL;
  64 static struct cdev ctrl_dev;
  65
  66 static int register_vm(struct v3_guest * guest) {
  67     int i = 0;
  68
  69     for (i = 0; i < MAX_VMS; i++) {
  70         if (guest_map[i] == NULL) {
  71             guest_map[i] = guest;
  72             return i;
  73         }
  74     }
  75
  76     return -1;
  77 }
  78
  79
  80
  81 static long v3_dev_ioctl(struct file * filp,
  82                          unsigned int ioctl, unsigned long arg) {
  83     void __user * argp = (void __user *)arg;
  84     DEBUG("V3 IOCTL %d\n", ioctl);
  85
  86
  87     switch (ioctl) {
  88         case V3_CREATE_GUEST:{
  89             int vm_minor = 0;
  90             struct v3_guest_img user_image;
  91             struct v3_guest * guest = palacios_alloc(sizeof(struct v3_guest));
  92
  93             if (!(guest)) {
  94                 ERROR("Palacios: Error allocating Kernel guest_image\n");
  95                 return -EFAULT;
  96             }
  97
  98             memset(guest, 0, sizeof(struct v3_guest));
  99
 100             INFO("Palacios: Creating V3 Guest...\n");
 101
 102             vm_minor = register_vm(guest);
 103
 104             if (vm_minor == -1) {
 105                 ERROR("Palacios Error: Too many VMs are currently running\n");
 106                 goto out_err;
 107             }
 108
 109             guest->vm_dev = MKDEV(v3_major_num, vm_minor);
 110
 111             if (copy_from_user(&user_image, argp, sizeof(struct v3_guest_img))) {
 112                 ERROR("Palacios Error: copy from user error getting guest image...\n");
 113                 goto out_err1;
 114             }
 115
 116             guest->img_size = user_image.size;
 117
 118             DEBUG("Palacios: Allocating kernel memory for guest image (%llu bytes)\n", user_image.size);
 119             guest->img = palacios_valloc(guest->img_size);
 120
 121             if (!guest->img) {
 122                 ERROR("Palacios Error: Could not allocate space for guest image\n");
 123                 goto out_err1;
 124             }
 125
 126             if (copy_from_user(guest->img, user_image.guest_data, guest->img_size)) {
 127                 ERROR("Palacios: Error loading guest data\n");
 128                 goto out_err2;
 129             }
 130
 131             strncpy(guest->name, user_image.name, 127);
 132
 133             INIT_LIST_HEAD(&(guest->exts));
 134
 135             if (create_palacios_vm(guest) == -1) {
 136                 ERROR("Palacios: Error creating guest\n");
 137                 goto out_err2;
 138             }
 139
 140             return vm_minor;
 141
 142
 143 out_err2:
 144             palacios_vfree(guest->img);
 145 out_err1:
 146             guest_map[vm_minor] = NULL;
 147 out_err:
 148             palacios_free(guest);
 149
 150             return -1;
 151
 152             break;
 153         }
 154         case V3_FREE_GUEST: {
 155             unsigned long vm_idx = arg;
 156             struct v3_guest * guest;
 157
 158             if (vm_idx > MAX_VMS) {
 159                 ERROR("Invalid VM index: %ld\n", vm_idx);
 160                 return -1;
 161             }
 162
 163             guest = guest_map[vm_idx];
 164
 165             if (!guest) {
 166                 ERROR("No VM at index %ld\n",vm_idx);
 167                 return -1;
 168             }
 169
 170             INFO("Freeing VM (%s) (%p)\n", guest->name, guest);
 171
 172             if (free_palacios_vm(guest)<0) {
 173                 ERROR("Cannot free guest at index %ld\n",vm_idx);
 174                 return -1;
 175             }
 176
 177             guest_map[vm_idx] = NULL;
 178             break;
 179         }
 180         case V3_ADD_MEMORY: {
 181             struct v3_mem_region mem;
 182
 183             memset(&mem, 0, sizeof(struct v3_mem_region));
 184
 185             if (copy_from_user(&mem, argp, sizeof(struct v3_mem_region))) {
 186                 ERROR("copy from user error getting mem_region...\n");
 187                 return -EFAULT;
 188             }
 189
 190             DEBUG("Adding %llu pages to Palacios memory\n", mem.num_pages);
 191
 192             if (add_palacios_memory(&mem) == -1) {
 193                 ERROR("Error adding memory to Palacios\n");
 194                 return -EFAULT;
 195             }
 196
 197             break;
 198         }
 199
 200         case V3_REMOVE_MEMORY: {
 201             struct v3_mem_region mem;
 202
 203             memset(&mem, 0, sizeof(struct v3_mem_region));
 204
 205             if (copy_from_user(&mem, argp, sizeof(struct v3_mem_region))) {
 206                 ERROR("copy from user error getting mem_region...\n");
 207                 return -EFAULT;
 208             }
 209
 210             DEBUG("Removing memory at address %p\n", (void*)(mem.base_addr));
 211
 212             if (remove_palacios_memory(&mem) == -1) {
 213                 ERROR("Error removing memory from Palacios\n");
 214                 return -EFAULT;
 215             }
 216
 217             break;
 218         }
 219
 220
 221
 222         case V3_RESET_MEMORY: {
 223             DEBUG("Resetting memory\n");
 224             if (palacios_deinit_mm() == -1) {
 225                 ERROR("Error deiniting the Palacios memory manager\n");
 226                 return -EFAULT;
 227             }
 228             if (palacios_init_mm()) {
 229                 ERROR("Error initing the Palacios memory manager\n");
 230                 return -EFAULT;
 231             }
 232             break;
 233         }
 234
 235         default: {
 236             struct global_ctrl * ctrl = get_global_ctrl(ioctl);
 237
 238             if (ctrl) {
 239                 return ctrl->handler(ioctl, arg);
 240             }
 241
 242             WARNING("\tUnhandled global ctrl cmd: %d\n", ioctl);
 243
 244             return -EINVAL;
 245         }
 246     }
 247
 248     return 0;
 249 }
 250
 251
 252
 253 static struct file_operations v3_ctrl_fops = {
 254     .owner = THIS_MODULE,
 255     .unlocked_ioctl = v3_dev_ioctl,
 256     .compat_ioctl = v3_dev_ioctl,
 257 };
 258
 259
 260
 261 struct proc_dir_entry *palacios_get_procdir(void)
 262 {
 263     //    INFO("Returning procdir=%p\n",palacios_proc_dir);
 264     return palacios_proc_dir;
 265 }
 266
 267
 268 #define MAX_VCORES  256
 269 #define MAX_REGIONS 1024
 270
 271
 272
 273 static int read_guests_details(struct seq_file *s, void *v)
 274 {
 275     unsigned int i = 0;
 276     unsigned int j = 0;
 277     struct v3_vm_base_state *base=0;
 278     struct v3_vm_core_state *core=0;
 279     struct v3_vm_mem_state *mem=0;
 280
 281     base = palacios_alloc(sizeof(struct v3_vm_base_state));
 282
 283     if (!base) {
 284       ERROR("No space for base state structure\n");
 285       goto out;
 286     }
 287
 288     core = palacios_alloc(sizeof(struct v3_vm_core_state) + MAX_VCORES*sizeof(struct v3_vm_vcore_state));
 289
 290     if (!core) {
 291         ERROR("No space for core state structure\n");
 292         goto out;
 293     }
 294
 295     mem = palacios_alloc(sizeof(struct v3_vm_mem_state) + MAX_REGIONS*sizeof(struct v3_vm_mem_region));
 296
 297     if (!mem) {
 298         ERROR("No space for memory state structure\n");
 299         goto out;
 300     }
 301
 302     for(i = 0; i < MAX_VMS; i++) {
 303         if (guest_map[i] != NULL) {
 304             seq_printf(s,
 305                        "---------------------------------------------------------------------------------------\n");
 306             seq_printf(s,
 307                        "Entry:        %d\n"
 308                        "Name:         %s\n"
 309                        "Device:       /dev/v3-vm%d\n",
 310                        i,guest_map[i]->name, i);
 311
 312             // Get extended data
 313             core->num_vcores=MAX_VCORES; // max we can handle
 314             mem->num_regions=MAX_REGIONS; // max we can handle
 315
 316             if (v3_get_state_vm(guest_map[i]->v3_ctx, base, core, mem)) {
 317                 ERROR("Cannot get VM info\n");
 318                 seq_printf(s, "<unable to get data for this VM>\n");
 319             } else {
 320                 seq_printf(s,
 321                            "State:        %s\n"
 322                            "Cores:        %lu\n"
 323                            "Regions:      %lu\n\n",
 324                            base->state==V3_VM_INVALID ? "INVALID" :
 325                            base->state==V3_VM_RUNNING ? "running" :
 326                            base->state==V3_VM_STOPPED ? "stopped" :
 327                            base->state==V3_VM_PAUSED ? "paused" :
 328                            base->state==V3_VM_ERROR ? "ERROR" :
 329                            base->state==V3_VM_SIMULATING ? "simulating" : "UNKNOWN",
 330                            core->num_vcores,
 331                            mem->num_regions);
 332                 seq_printf(s, "Core States\n");
 333
 334                 for (j=0;j<core->num_vcores;j++) {
 335                     seq_printf(s,
 336                                "   vcore %u %s on pcore %lu %llu exits rip=0x%p %s %s %s\n",
 337                                j,
 338                                core->vcore[j].state==V3_VCORE_INVALID ? "INVALID" :
 339                                core->vcore[j].state==V3_VCORE_RUNNING ? "running" :
 340                                core->vcore[j].state==V3_VCORE_STOPPED ? "stopped" : "UNKNOWN",
 341                                core->vcore[j].pcore,
 342                                core->vcore[j].num_exits,
 343                                core->vcore[j].last_rip,
 344                                core->vcore[j].cpu_mode==V3_VCORE_CPU_REAL ? "real" :
 345                                core->vcore[j].cpu_mode==V3_VCORE_CPU_PROTECTED ? "protected" :
 346                                core->vcore[j].cpu_mode==V3_VCORE_CPU_PROTECTED_PAE ? "protectedpae" :
 347                                core->vcore[j].cpu_mode==V3_VCORE_CPU_LONG ? "long" :
 348                                core->vcore[j].cpu_mode==V3_VCORE_CPU_LONG_32_COMPAT ? "long32" :
 349                                core->vcore[j].cpu_mode==V3_VCORE_CPU_LONG_16_COMPAT ? "long16" : "UNKNOWN",
 350                                core->vcore[j].mem_mode==V3_VCORE_MEM_MODE_PHYSICAL ? "physical" :
 351                                core->vcore[j].mem_mode==V3_VCORE_MEM_MODE_VIRTUAL ? "virtual" : "UNKNOWN",
 352                                core->vcore[j].mem_state==V3_VCORE_MEM_STATE_SHADOW ? "shadow" :
 353                                core->vcore[j].mem_state==V3_VCORE_MEM_STATE_NESTED ? "nested" : "UNKNOWN");
 354                 }
 355
 356                 seq_printf(s, "\nMemory Regions\n");
 357                 for (j=0;j<mem->num_regions;j++) {
 358                     seq_printf(s,"   region %u has HPAs 0x%p-0x%p (node %d)\n",
 359                                j, mem->region[j].host_paddr, mem->region[j].host_paddr+mem->region[j].size,
 360                                numa_addr_to_node((uintptr_t)(mem->region[j].host_paddr)));
 361                 }
 362             }
 363             seq_printf(s,
 364                        "---------------------------------------------------------------------------------------\n");
 365         }
 366     }
 367
 368
 369  out:
 370     if (mem) { palacios_free(mem); }
 371     if (core) { palacios_free(core); }
 372     if (base) { palacios_free(base); }
 373
 374     return 0;
 375 }
 376
 377 static int read_guests(struct seq_file *s, void *v)
 378 {
 379     unsigned int i = 0;
 380     struct v3_vm_base_state *base=0;
 381     struct v3_vm_core_state *core=0;
 382     struct v3_vm_mem_state *mem=0;
 383
 384     base = palacios_alloc(sizeof(struct v3_vm_base_state));
 385
 386     if (!base) {
 387       ERROR("No space for base state structure\n");
 388       goto out;
 389     }
 390
 391     core = palacios_alloc(sizeof(struct v3_vm_core_state) + MAX_VCORES*sizeof(struct v3_vm_vcore_state));
 392
 393     if (!core) {
 394         ERROR("No space for core state structure\n");
 395         goto out;
 396     }
 397
 398     mem = palacios_alloc(sizeof(struct v3_vm_mem_state) + MAX_REGIONS*sizeof(struct v3_vm_mem_region));
 399
 400     if (!mem) {
 401         ERROR("No space for memory state structure\n");
 402         goto out;
 403     }
 404
 405     for(i = 0; i < MAX_VMS; i++) {
 406         if (guest_map[i] != NULL) {
 407             seq_printf(s,"%s\t/dev/v3-vm%d", guest_map[i]->name, i);
 408             // Get extended data
 409             core->num_vcores=MAX_VCORES; // max we can handle
 410             mem->num_regions=MAX_REGIONS; // max we can handle
 411
 412             if (v3_get_state_vm(guest_map[i]->v3_ctx, base, core, mem)) {
 413                 ERROR("Cannot get VM info\n");
 414                 seq_printf(s, "\t<unable to get data for this VM>\n");
 415             } else {
 416                 seq_printf(s,"\t%s\t%lu vcores\t%lu regions\n",
 417                            base->state==V3_VM_INVALID ? "INVALID" :
 418                            base->state==V3_VM_RUNNING ? "running" :
 419                            base->state==V3_VM_STOPPED ? "stopped" :
 420                            base->state==V3_VM_PAUSED ? "paused" :
 421                            base->state==V3_VM_ERROR ? "ERROR" :
 422                            base->state==V3_VM_SIMULATING ? "simulating" : "UNKNOWN",
 423                            core->num_vcores,
 424                            mem->num_regions);
 425             }
 426         }
 427     }
 428
 429
 430  out:
 431     if (mem) { palacios_free(mem); }
 432     if (core) { palacios_free(core); }
 433     if (base) { palacios_free(base); }
 434
 435     return 0;
 436 }
 437
 438
 439 static int guests_short_proc_open(struct inode * inode, struct file * filp)
 440 {
 441     struct proc_dir_entry * proc_entry = PDE(inode);
 442     return single_open(filp, read_guests, proc_entry->data);
 443 }
 444
 445 static int guests_full_proc_open(struct inode * inode, struct file * filp)
 446 {
 447     struct proc_dir_entry * proc_entry = PDE(inode);
 448     return single_open(filp, read_guests_details, proc_entry->data);
 449 }
 450
 451
 452
 453
 454 static struct file_operations guest_full_proc_ops = {
 455     .owner = THIS_MODULE,
 456     .open = guests_full_proc_open,
 457     .read = seq_read,
 458     .llseek = seq_lseek,
 459     .release = single_release,
 460 };
 461
 462 static struct file_operations guest_short_proc_ops = {
 463     .owner = THIS_MODULE,
 464     .open = guests_short_proc_open,
 465     .read = seq_read,
 466     .llseek = seq_lseek,
 467     .release = single_release,
 468 };
 469
 470 // Supply basic information that the user-space tools need
 471 // to manipulate Palacios.   The current use case here is to
 472 // convey memory information
 473 static int read_info(struct seq_file *s, void *v)
 474 {
 475     uint64_t mem_block_size;
 476     int i,j;
 477     int max_node=-1;
 478     seq_printf(s,"kernel MAX_ORDER:\t%d\n",MAX_ORDER);
 479     seq_printf(s,"number of nodes:\t%d\n", numa_num_nodes());
 480     seq_printf(s,"number of cpus: \t%d\n", num_online_cpus());
 481     seq_printf(s,"\npalacios compiled mem_block_size:\t%d\n", V3_CONFIG_MEM_BLOCK_SIZE);
 482     if (!v3_lookup_option("mem_block_size")) {
 483         mem_block_size = V3_CONFIG_MEM_BLOCK_SIZE;
 484     } else {
 485         if (strict_strtoull(v3_lookup_option("mem_block_size"), 0, &mem_block_size)) {
 486             // huh?
 487             mem_block_size=-1;
 488         }
 489     }
 490     seq_printf(s,"palacios run-time mem_block_size:\t%llu\n", mem_block_size);
 491
 492     seq_printf(s,"\nCPU to node mappings\n");
 493     for (i=0;i<num_online_cpus();i++) {
 494         seq_printf(s,"cpu %d -> node %d\n", i, numa_cpu_to_node(i));
 495         if (numa_cpu_to_node(i)>max_node) {
 496             max_node=numa_cpu_to_node(i);
 497         }
 498     }
 499     seq_printf(s,"\nNode to node distances\n");
 500     for (j=0;j<=max_node;j++) {
 501         seq_printf(s,"   \t%2d", j);
 502     }
 503     seq_printf(s,"\n");
 504     for (i=0;i<=max_node;i++) {
 505         seq_printf(s,"%2d ",i);
 506         for (j=0;j<=max_node;j++) {
 507             seq_printf(s,"\t%2d", numa_get_distance(i,j));
 508         }
 509         seq_printf(s,"\n");
 510     }
 511     seq_printf(s,"\nCPU to CPU distances\n");
 512     for (j=0;j<num_online_cpus();j++) {
 513         seq_printf(s,"   \t%2d", j);
 514     }
 515     seq_printf(s,"\n");
 516     for (i=0;i<num_online_cpus();i++) {
 517         seq_printf(s,"%2d ",i);
 518         for (j=0;j<num_online_cpus();j++) {
 519             seq_printf(s,"\t%2d", numa_get_distance(numa_cpu_to_node(i),numa_cpu_to_node(j)));
 520         }
 521         seq_printf(s,"\n");
 522     }
 523     return 0;
 524 }
 525
 526 static int info_proc_open(struct inode * inode, struct file * filp)
 527 {
 528     struct proc_dir_entry * proc_entry = PDE(inode);
 529     return single_open(filp, read_info, proc_entry->data);
 530 }
 531
 532
 533
 534 static struct file_operations info_proc_ops = {
 535     .owner = THIS_MODULE,
 536     .open = info_proc_open,
 537     .read = seq_read,
 538     .llseek = seq_lseek,
 539     .release = single_release,
 540 };
 541
 542
 543 static int __init v3_init(void) {
 544
 545     dev_t dev = MKDEV(0, 0); // We dynamicallly assign the major number
 546     int ret = 0;
 547
 548     LOCKCHECK_INIT();
 549     MEMCHECK_INIT();
 550
 551     palacios_proc_dir = proc_mkdir("v3vee", NULL);
 552     if (!palacios_proc_dir) {
 553         ERROR("Could not create proc entry\n");
 554         ret = -1;
 555         goto failure1;
 556     }
 557
 558     // this will populate the v3vee tree...
 559     if (palacios_init_mm()) {
 560         goto failure2;
 561     }
 562
 563     if (allow_devmem) {
 564       palacios_allow_devmem();
 565     }
 566
 567     // numa is now a required interface and we need it
 568     // up before primary initiatilization
 569     palacios_init_numa();
 570
 571     // Initialize Palacios
 572     palacios_vmm_init(options);
 573
 574     // initialize extensions
 575     init_lnx_extensions();
 576
 577
 578     v3_class = class_create(THIS_MODULE, "vms");
 579     if (!v3_class || IS_ERR(v3_class)) {
 580         ERROR("Failed to register V3 VM device class\n");
 581         ret =  PTR_ERR(v3_class);
 582         goto failure3;
 583     }
 584
 585     INFO("intializing V3 Control device\n");
 586
 587     ret = alloc_chrdev_region(&dev, 0, MAX_VMS + 1, "v3vee");
 588
 589     if (ret < 0) {
 590         ERROR("Error registering device region for V3 devices\n");
 591         goto failure4;
 592     }
 593
 594     v3_major_num = MAJOR(dev);
 595
 596     dev = MKDEV(v3_major_num, MAX_VMS + 1);
 597
 598
 599     DEBUG("Creating V3 Control device: Major %d, Minor %d\n", v3_major_num, MINOR(dev));
 600     cdev_init(&ctrl_dev, &v3_ctrl_fops);
 601     ctrl_dev.owner = THIS_MODULE;
 602     ctrl_dev.ops = &v3_ctrl_fops;
 603     cdev_add(&ctrl_dev, dev, 1);
 604
 605     device_create(v3_class, NULL, dev, NULL, "v3vee");
 606
 607     if (ret != 0) {
 608         ERROR("Error adding v3 control device\n");
 609         goto failure5;
 610     }
 611
 612     {
 613         struct proc_dir_entry *entry;
 614
 615         entry = create_proc_entry("v3-guests", 0444, palacios_proc_dir);
 616         if (entry) {
 617             entry->proc_fops = &guest_short_proc_ops;
 618             INFO("/proc/v3vee/v3-guests successfully created\n");
 619         } else {
 620             ERROR("Could not create proc entry\n");
 621             goto failure6;
 622         }
 623         entry = create_proc_entry("v3-guests-details", 0444, palacios_proc_dir);
 624         if (entry) {
 625             entry->proc_fops = &guest_full_proc_ops;
 626             INFO("/proc/v3vee/v3-guests-details successfully created\n");
 627         } else {
 628             ERROR("Could not create proc entry\n");
 629             goto failure7;
 630         }
 631
 632         entry = create_proc_entry("v3-info", 0444, palacios_proc_dir);
 633         if (entry) {
 634             entry->proc_fops = &info_proc_ops;
 635             INFO("/proc/v3vee/v3-info successfully created\n");
 636         } else {
 637             ERROR("Could not create proc entry\n");
 638             goto failure8;
 639         }
 640
 641
 642     }
 643
 644     return 0;
 645
 646  failure8:
 647     remove_proc_entry("v3-guests-details", palacios_proc_dir);
 648  failure7:
 649     remove_proc_entry("v3-guests", palacios_proc_dir);
 650  failure6:
 651     device_destroy(v3_class, dev);
 652  failure5:
 653     unregister_chrdev_region(MKDEV(v3_major_num, 0), MAX_VMS + 1);
 654  failure4:
 655     class_destroy(v3_class);
 656  failure3:
 657     if (allow_devmem) {
 658       palacios_restore_devmem();
 659     }
 660     palacios_deinit_mm();
 661  failure2:
 662     remove_proc_entry("v3vee", NULL);
 663  failure1:
 664     MEMCHECK_DEINIT();
 665     LOCKCHECK_DEINIT();
 666
 667     return ret;
 668 }
 669
 670
 671 static void __exit v3_exit(void) {
 672     extern u32 pg_allocs;
 673     extern u32 pg_frees;
 674     extern u32 mallocs;
 675     extern u32 frees;
 676     extern u32 vmallocs;
 677     extern u32 vfrees;
 678     int i = 0;
 679     struct v3_guest * guest;
 680     dev_t dev;
 681
 682
 683     /* Stop and free any running VMs */
 684     for (i = 0; i < MAX_VMS; i++) {
 685         if (guest_map[i] != NULL) {
 686                 guest = (struct v3_guest *)guest_map[i];
 687
 688                 if (v3_stop_vm(guest->v3_ctx) < 0)
 689                         ERROR("Couldn't stop VM %d\n", i);
 690
 691                 free_palacios_vm(guest);
 692                 guest_map[i] = NULL;
 693         }
 694     }
 695
 696     dev = MKDEV(v3_major_num, MAX_VMS + 1);
 697
 698     INFO("Removing V3 Control device\n");
 699
 700
 701     palacios_vmm_exit();
 702
 703     palacios_deinit_numa();
 704
 705     DEBUG("Palacios Mallocs = %d, Frees = %d\n", mallocs, frees);
 706     DEBUG("Palacios Vmallocs = %d, Vfrees = %d\n", vmallocs, vfrees);
 707     DEBUG("Palacios Page Allocs = %d, Page Frees = %d\n", pg_allocs, pg_frees);
 708
 709     unregister_chrdev_region(MKDEV(v3_major_num, 0), MAX_VMS + 1);
 710
 711     cdev_del(&ctrl_dev);
 712
 713     device_destroy(v3_class, dev);
 714     class_destroy(v3_class);
 715
 716
 717     deinit_lnx_extensions();
 718
 719     if (allow_devmem) {
 720       palacios_restore_devmem();
 721     }
 722
 723     palacios_deinit_mm();
 724
 725     remove_proc_entry("v3-info", palacios_proc_dir);
 726     remove_proc_entry("v3-guests-details", palacios_proc_dir);
 727     remove_proc_entry("v3-guests", palacios_proc_dir);
 728     remove_proc_entry("v3vee", NULL);
 729
 730     DEBUG("Palacios Module Mallocs = %d, Frees = %d\n", mod_allocs, mod_frees);
 731
 732     MEMCHECK_DEINIT();
 733     LOCKCHECK_DEINIT();
 734 }
 735
 736
 737
 738 module_init(v3_init);
 739 module_exit(v3_exit);
 740
 741
 742
 743 void * trace_malloc(size_t size, gfp_t flags) {
 744     void * addr = NULL;
 745
 746     mod_allocs++;
 747     addr = palacios_alloc_extended(size, flags, -1);
 748
 749     return addr;
 750 }
 751
 752
 753 void trace_free(const void * objp) {
 754     mod_frees++;
 755     palacios_free((void*)objp);
 756 }