2 Device File Virtualization Guest Preload Library Helpers
4 (c) Akhil Guliani and William Gross, 2015
6 Adapted from MPI module (c) 2012 Peter Dinda
16 #include "devfile_hc.h"
19 #include "sys_point_arr.h"
21 int dev_file_syscall_hcall(long long sys_code,
22 long long a1, long long a2, long long a3, long long a4,
23 long long a5, long long a6, long long *sys_errno)
26 long long cmd = DEV_FILE_HCALL;
27 long long bit_vec = sys_pointer_arr[sys_code];
28 // Here, IOCTL needs to be handled specially because what
29 // arguments are pointes, etc, depends on the device
30 DEBUG_PRINT("Initiate syscall hypercall, code: %llx\n",sys_code);
31 HCALL(rc,cmd,sys_code,a1,a2,a3,a4,a5,a6,bit_vec);
33 DEBUG_PRINT("Syscall Hypercall done: rc = %llx errno = %llx\n",rc, *sys_errno);