⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

EndpointId

veridian_kernel::ipc::capability

Type Alias EndpointId 

Source 
pub type EndpointId = u64;
Expand description

Endpoint ID type