Expand description
ABI data structures shared between kernel and userspace.
These types define the wire format for syscalls, IPC messages, and file system operations. Both kernel and userspace must agree on the exact memory layout (size, alignment, field ordering).
Macros§
Structs§
- Async
Ring Layout - Layout descriptor for async I/O ring buffers.
- Dirent
Header - Fixed-size header for each directory entry in the
SYS_GETDENTSwire format. - File
Stat - File status information (returned by
SYS_FSTAT,SYS_STAT,SYS_FSTATAT). - Handle
Info - Information about a capability handle (returned by
SYS_HANDLE_INFO). - IpcMessage
- Fixed-size IPC message (256 bytes, 64-byte aligned).
- Map
- Memory mapping descriptor for
SYS_MMAP. - Memory
Region Info - Information about an exported memory region (returned by
SYS_MEM_REGION_INFO). - PciAddress
- PCI device address (bus/device/function).
- PciDevice
Info - PCI device information returned by
SYS_PCI_ENUM. - PciProbe
Criteria - PCI device search criteria for
SYS_PCI_ENUM. - Silo
Config - Silo configuration block passed from init to
SYS_SILO_CREATE. - Silo
Mode - 9-bit octal silo permission mode (3 control + 3 hardware + 3 registry).
- Stat
- Legacy stat structure (120 bytes). Prefer
FileStatfor new code. - StatVfs
- Filesystem statistics (for
SYS_STATon directories). - Time
Spec - POSIX-style timestamp: seconds + nanoseconds.
Constants§
- DT_BLK
- Block device.
- DT_CHR
- Character device.
- DT_DIR
- Directory.
- DT_FIFO
- FIFO (named pipe).
- DT_LNK
- Symbolic link.
- DT_REG
- Regular file.
- DT_SOCK
- Unix domain socket.
- DT_
UNKNOWN - Unknown file type.
- IPC_
FILE_ FLAG_ APPEND - Directory entry flag: file is opened in append mode.
- IPC_
FILE_ FLAG_ CHUNK_ READ - Directory entry flag: supports chunked reads.
- IPC_
FILE_ FLAG_ CHUNK_ WRITE - Directory entry flag: supports chunked writes.
- IPC_
FILE_ FLAG_ DEVICE - Directory entry flag: this entry is a device file.
- IPC_
FILE_ FLAG_ DIRECTORY - Directory entry flag: this entry is a directory.
- IPC_
FILE_ FLAG_ PIPE - Directory entry flag: this entry is a pipe.
- IPC_
MESSAGE_ ALIGN - Alignment requirement for IPC messages (64-byte aligned for cache line).
- IPC_
MESSAGE_ HEADER_ SIZE - Size of the IPC message header (sender + msg_type + flags).
- IPC_
MESSAGE_ SIZE - Total size of an IPC message in bytes (including header and payload).
- IPC_
PAYLOAD_ CAPACITY - Maximum payload size in an IPC message (256 - 16 = 240 bytes).
- PCI_
MATCH_ CLASS_ CODE - PCI match flag: match by class code.
- PCI_
MATCH_ DEVICE_ ID - PCI match flag: match by device ID.
- PCI_
MATCH_ PROG_ IF - PCI match flag: match by programming interface.
- PCI_
MATCH_ SUBCLASS - PCI match flag: match by subclass.
- PCI_
MATCH_ VENDOR_ ID - PCI match flag: match by vendor ID.
- SEEK_
CUR - Seek relative to the current file position.
- SEEK_
END - Seek relative to the end of the file.
- SEEK_
SET - Seek relative to the beginning of the file.