gears/services/devfile/devfile_hc.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 #define DEV_FILE_HCALL 99993
  11
  12 #include "syscall_ref.h"
  13
  14 #ifndef __KERNEL__
  15
  16 #define DEBUG 1
  17 #if DEBUG
  18 #define DEBUG_PRINT(fmt,args...) fprintf(stderr,(fmt),##args)
  19 #else
  20 #define DEBUG_PRINT(fmt,args...)
  21 #endif
  22
  23
  24 int dev_file_syscall_hcall(long long syscode,
  25                            long long a1, long long a2, long long a3, long long a4,
  26                            long long a5, long long a6, long long *sys_errno);
  27
  28 #endif // KERNEL