⚠️ VeridianOS Kernel Documentation
- This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise.
no_std
RequestId
veridian_
kernel
0.25.2
In veridian_
kernel::
ipc::
rpc
veridian_kernel
::
ipc
::
rpc
Type Alias
Request
Id
Copy item path
Source
pub type RequestId = u64;
Expand description
RPC request ID for tracking requests/responses