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.


minor numa interface cleanup, and make sure initialization occurs
[palacios.git] / linux_module / numa.h
index f943163..15c06a7 100644 (file)
@@ -6,13 +6,8 @@
 #ifndef __NUMA_H__
 #define __NUMA_H__
 
-#if 0
-int create_numa_topology_from_user(void __user * argp);
-
-void free_numa_topology();
-#endif
-
 int palacios_init_numa( void );
+int palacios_deinit_numa(void);
 
 int numa_num_nodes(void );
 int numa_cpu_to_node(int cpu_id);