A notification message. If a task has unread notifications, the kernel
constructs and returns this message.
data may include
multiple notifications (e.g.
NOTIFY_TIMER | NOTIFY_ASYNC).
Requests a pending async message. Internally used by
Represents an invalid message.
The kernel sends this message to a pager task when an exception occurs.
The kernel calls this RPC when a page fault occurs. When the pager task replies, the kernel continues executing the page-faulted task.
The kernel calls this RPC when a task with ABI hook enabled initiated a system call.
Hardware-assisted hypervisor like Linux's KVM.
The x64 guest calls this RPC before it starts to retrieve some initial guest states.
The guest calls this RPC when it enters an idle state or waits for interrupt.
The guest calls this RPC when it tried to perform an invalid access to a guest physical memory address (EPT violation in Intel VT).
IO port read access from the guest.
IO port write access from the guest.
Receive a pending message from the server.
Injects an IRQ into the guest.
No-op. Do nothing but returns the value as it is.
No-op. Do nothing but returns data (to be sent as ool) as it is.
The memory management server (vm) interface.
Allocates memory pages.
paddr is zero, it allocates arbitrary physical
memory pages. Otherwise, it maps the specified physical memory address to
an unused virtual memory address.
Registers a service.
Looks for a service. This blocks until a service with
High-level task managemnt.
Allocates an unused TASK ID.
Deallocates an unused TASK ID.
Launches a task.
Watches a task. If the task exits, the watcher task receives an async
Unwatches a task.
async message exited
A message sent to watcher tasks when a task exits.
Out-of-Line (OoL) payload internal interface.
Registers a receive buffer for an OoL payload.
Sends an OoL payload to
dst. Returns the OoL payload identifier.
Checks if the caller task has received a OoL payload from
src with the
id. Returns the receive buffer address if it's valid.
A file system driver.
Opens a file.
Creates a file. If
exist_ok is true, it return
OK even if the file
Closes a file handle.
Reads file contents.
Writes bytes into the file.
Returns file metadata.
A block (disk) device interface.
Reads blocks at
offset (in bytes) from the device. The size of a block
depends on the device.
Writes blocks at
offset (in bytes) into the device. The size of a block
depends on the device.
A network device interface.
A RX packet payload.
A TX packet payload to be sent from the device.