palacios/src/palacios/vmm_extensions.c

   1 /*
   2  * This file is part of the Palacios Virtual Machine Monitor developed
   3  * by the V3VEE Project with funding from the United States National
   4  * Science Foundation and the Department of Energy.
   5  *
   6  * The V3VEE Project is a joint project between Northwestern University
   7  * and the University of New Mexico.  You can find out more at
   8  * http://www.v3vee.org
   9  *
  10  * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
  11  * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
  12  * All rights reserved.
  13  *
  14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
  15  *
  16  * This is free software.  You are permitted to use,
  17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  18  */
  19
  20 #include <palacios/vmm.h>
  21
  22 #include <palacios/vmm_extensions.h>
  23
  24 #include <palacios/vmm_hashtable.h>
  25
  26
  27 static struct hashtable * ext_table = NULL;
  28
  29
  30 static uint_t ext_hash_fn(addr_t key) {
  31     char * name = (char *)key;
  32     return v3_hash_buffer((uint8_t *)name, strlen(name));
  33 }
  34
  35 static int ext_eq_fn(addr_t key1, addr_t key2) {
  36     char * name1 = (char *)key1;
  37     char * name2 = (char *)key2;
  38
  39     return (strcmp(name1, name2) == 0);
  40 }
  41
  42
  43
  44 int V3_init_extensions() {
  45     extern struct v3_extension_impl * __start__v3_extensions[];
  46     extern struct v3_extension_impl * __stop__v3_extensions[];
  47     struct v3_extension_impl ** tmp_ext = __start__v3_extensions;
  48     int i = 0;
  49
  50     ext_table = v3_create_htable(0, ext_hash_fn, ext_eq_fn);
  51
  52     while (tmp_ext != __stop__v3_extensions) {
  53         V3_Print("Registering Extension (%s)\n", (*tmp_ext)->name);
  54
  55         if (v3_htable_search(ext_table, (addr_t)((*tmp_ext)->name))) {
  56             PrintError("Multiple instances of Extension (%s)\n", (*tmp_ext)->name);
  57             return -1;
  58         }
  59
  60         if (v3_htable_insert(ext_table, (addr_t)((*tmp_ext)->name), (addr_t)(*tmp_ext)) == 0) {
  61             PrintError("Could not register Extension (%s)\n", (*tmp_ext)->name);
  62             return -1;
  63         }
  64
  65         tmp_ext = &(__start__v3_extensions[++i]);
  66     }
  67
  68     return 0;
  69 }
  70
  71
  72 int V3_deinit_extensions() {
  73     v3_free_htable(ext_table, 0, 0);
  74     return 0;
  75 }
  76
  77