syscalls/pciconfig_write.c

   1 /*
   2    sys_pciconfig_write (unsigned long bus, unsigned long dfn, unsigned long off, unsigned long len,
   3                         void *buf)
   4  */
   5 #include "sanitise.h"
   6
   7 struct syscallentry syscall_pciconfig_write = {
   8         .name = "pciconfig_write",
   9         .num_args = 5,
  10         .arg1name = "bus",
  11         .arg2name = "dfn",
  12         .arg3name = "off",
  13         .arg4name = "len",
  14         .arg5name = "buf",
  15         .arg5type = ARG_ADDRESS,
  16 };