Module backend

The linux_raw backend.

This makes Linux syscalls directly, without going through libc.

Safety

These files performs raw system calls, and sometimes passes them uninitialized memory buffers. The signatures in this module are currently manually maintained and must correspond with the signatures of the actual Linux syscalls.

Some of this could be auto-generated from the Linux header file <linux/syscalls.h>, but we often need more information than it provides, such as which pointers are array slices, out parameters, or in-out parameters, which integers are owned or borrowed file descriptors, etc.

Modules

• arch 🔒
  Architecture-specific syscall code.
• c 🔒
  Adapt the Linux API to resemble a POSIX-style libc API.
• conv 🔒
  Convert values to ArgReg and from RetReg.
• event 🔒
• fd 🔒
• fs 🔒
• io 🔒
• mount 🔒
• net 🔒
• param 🔒
• pid 🔒
• pipe 🔒
• prctl 🔒
• process 🔒
• reg 🔒
  Encapsulation for system call arguments and return values.
• shm 🔒
• system 🔒
• thread 🔒
• time 🔒
• ugid 🔒
• vdso 🔒
  Parse the Linux vDSO.
• vdso_wrappers 🔒
  Implement syscalls using the vDSO.

Constants

• MAX_IOV 🔒
  The maximum number of buffers that can be passed into a vectored I/O system call on the current platform.