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.


Device File Virtualization Proof of Concept (Kernel+Preload)
[palacios.git] / gears / services / devfile / sys_point_arr.h
diff --git a/gears/services/devfile/sys_point_arr.h b/gears/services/devfile/sys_point_arr.h
new file mode 100644 (file)
index 0000000..736a868
--- /dev/null
@@ -0,0 +1,343 @@
+/* 
+   Device File Virtualization Guest Preload Library Helpers
+
+   (c) Akhil Guliani and William Gross, 2015
+     
+   Adapted from MPI module (c) 2012 Peter Dinda
+
+*/
+
+/*
+  This is a mapping between system call number (64 bit Linux)
+  and a bit vector whose set bits indicate which of the arguments
+  to the givien system call are pointer arguments, and thus need
+  to be swizzled by the devfile implementation.
+  
+*/
+
+long long sys_pointer_arr[323] = {
+2,
+2,
+1,
+0,
+3,
+2,
+3,
+1,
+0,
+0,
+0,
+0,
+0,
+6,
+6,
+0,
+4,
+2,
+2,
+2,
+2,
+1,
+1,
+30,
+0,
+0,
+0,
+4,
+0,
+0,
+2,
+4,
+0,
+0,
+0,
+3,
+2,
+0,
+6,
+0,
+4,
+0,
+2,
+6,
+18,
+50,
+2,
+2,
+0,
+2,
+0,
+6,
+6,
+8,
+8,
+24,
+12,
+0,
+0,
+7,
+0,
+10,
+0,
+1,
+0,
+2,
+0,
+1,
+0,
+2,
+2,
+4,
+0,
+0,
+0,
+0,
+1,
+0,
+2,
+1,
+1,
+0,
+3,
+1,
+1,
+1,
+3,
+1,
+3,
+3,
+1,
+0,
+1,
+0,
+1,
+0,
+3,
+2,
+2,
+1,
+1,
+0,
+0,
+2,
+0,
+0,
+0,
+0,
+0,
+0,
+0,
+0,
+0,
+0,
+0,
+2,
+2,
+7,
+7,
+0,
+7,
+0,
+0,
+0,
+0,
+0,
+0,
+1,
+7,
+4,
+1,
+3,
+3,
+1,
+0,
+0,
+2,
+3,
+2,
+0,
+0,
+0,
+2,
+2,
+4,
+0,
+0,
+0,
+2,
+0,
+0,
+0,
+0,
+0,
+2,
+3,
+1,
+0,
+5,
+1,
+2,
+1,
+0,
+1,
+3,
+23,
+1,
+1,
+1,
+8,
+1,
+1,
+2,
+0,
+0,
+5,
+1,
+0,
+0,
+10,
+0,
+0,
+0,
+0,
+0,
+0,
+0,
+0,
+7,
+7,
+6,
+7,
+7,
+6,
+3,
+3,
+2,
+3,
+3,
+2,
+0,
+1,
+25,
+4,
+4,
+0,
+2,
+0,
+8,
+4,
+6,
+0,
+0,
+0,
+0,
+0,
+0,
+2,
+1,
+0,
+10,
+0,
+6,
+12,
+2,
+0,
+0,
+2,
+2,
+2,
+12,
+0,
+2,
+8,
+0,
+3,
+0,
+8,
+2,
+3,
+9,
+1,
+18,
+26,
+2,
+6,
+4,
+20,
+7,
+7,
+0,
+0,
+0,
+0,
+2,
+0,
+12,
+2,
+2,
+2,
+2,
+6,
+6,
+2,
+10,
+10,
+5,
+6,
+2,
+2,
+62,
+13,
+0,
+1,
+6,
+10,
+0,
+0,
+2,
+28,
+6,
+18,
+2,
+0,
+0,
+0,
+12,
+2,
+6,
+2,
+0,
+0,
+0,
+1,
+0,
+2,
+2,
+8,
+1,
+18,
+0,
+0,
+12,
+14,
+14,
+2,
+0,
+2,
+0,
+7,
+10,
+10,
+0,
+2,
+2,
+2,
+6,
+4,
+1,
+1,
+8,
+2,
+14
+};
+