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
1 /* 
2    Device File Virtualization Guest Preload Library Helpers
3
4    (c) Akhil Guliani and William Gross, 2015
5      
6    Adapted from MPI module (c) 2012 Peter Dinda
7
8 */
9
10 /*
11   This is a mapping between system call number (64 bit Linux)
12   and a bit vector whose set bits indicate which of the arguments
13   to the givien system call are pointer arguments, and thus need
14   to be swizzled by the devfile implementation.
15   
16 */
17
18 long long sys_pointer_arr[323] = {
19 2,
20 2,
21 1,
22 0,
23 3,
24 2,
25 3,
26 1,
27 0,
28 0,
29 0,
30 0,
31 0,
32 6,
33 6,
34 0,
35 4,
36 2,
37 2,
38 2,
39 2,
40 1,
41 1,
42 30,
43 0,
44 0,
45 0,
46 4,
47 0,
48 0,
49 2,
50 4,
51 0,
52 0,
53 0,
54 3,
55 2,
56 0,
57 6,
58 0,
59 4,
60 0,
61 2,
62 6,
63 18,
64 50,
65 2,
66 2,
67 0,
68 2,
69 0,
70 6,
71 6,
72 8,
73 8,
74 24,
75 12,
76 0,
77 0,
78 7,
79 0,
80 10,
81 0,
82 1,
83 0,
84 2,
85 0,
86 1,
87 0,
88 2,
89 2,
90 4,
91 0,
92 0,
93 0,
94 0,
95 1,
96 0,
97 2,
98 1,
99 1,
100 0,
101 3,
102 1,
103 1,
104 1,
105 3,
106 1,
107 3,
108 3,
109 1,
110 0,
111 1,
112 0,
113 1,
114 0,
115 3,
116 2,
117 2,
118 1,
119 1,
120 0,
121 0,
122 2,
123 0,
124 0,
125 0,
126 0,
127 0,
128 0,
129 0,
130 0,
131 0,
132 0,
133 0,
134 2,
135 2,
136 7,
137 7,
138 0,
139 7,
140 0,
141 0,
142 0,
143 0,
144 0,
145 0,
146 1,
147 7,
148 4,
149 1,
150 3,
151 3,
152 1,
153 0,
154 0,
155 2,
156 3,
157 2,
158 0,
159 0,
160 0,
161 2,
162 2,
163 4,
164 0,
165 0,
166 0,
167 2,
168 0,
169 0,
170 0,
171 0,
172 0,
173 2,
174 3,
175 1,
176 0,
177 5,
178 1,
179 2,
180 1,
181 0,
182 1,
183 3,
184 23,
185 1,
186 1,
187 1,
188 8,
189 1,
190 1,
191 2,
192 0,
193 0,
194 5,
195 1,
196 0,
197 0,
198 10,
199 0,
200 0,
201 0,
202 0,
203 0,
204 0,
205 0,
206 0,
207 7,
208 7,
209 6,
210 7,
211 7,
212 6,
213 3,
214 3,
215 2,
216 3,
217 3,
218 2,
219 0,
220 1,
221 25,
222 4,
223 4,
224 0,
225 2,
226 0,
227 8,
228 4,
229 6,
230 0,
231 0,
232 0,
233 0,
234 0,
235 0,
236 2,
237 1,
238 0,
239 10,
240 0,
241 6,
242 12,
243 2,
244 0,
245 0,
246 2,
247 2,
248 2,
249 12,
250 0,
251 2,
252 8,
253 0,
254 3,
255 0,
256 8,
257 2,
258 3,
259 9,
260 1,
261 18,
262 26,
263 2,
264 6,
265 4,
266 20,
267 7,
268 7,
269 0,
270 0,
271 0,
272 0,
273 2,
274 0,
275 12,
276 2,
277 2,
278 2,
279 2,
280 6,
281 6,
282 2,
283 10,
284 10,
285 5,
286 6,
287 2,
288 2,
289 62,
290 13,
291 0,
292 1,
293 6,
294 10,
295 0,
296 0,
297 2,
298 28,
299 6,
300 18,
301 2,
302 0,
303 0,
304 0,
305 12,
306 2,
307 6,
308 2,
309 0,
310 0,
311 0,
312 1,
313 0,
314 2,
315 2,
316 8,
317 1,
318 18,
319 0,
320 0,
321 12,
322 14,
323 14,
324 2,
325 0,
326 2,
327 0,
328 7,
329 10,
330 10,
331 0,
332 2,
333 2,
334 2,
335 6,
336 4,
337 1,
338 1,
339 8,
340 2,
341 14
342 };
343