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

Module registry

Module registry 

Source
Expand description

Global IPC registry for managing channels and endpoints

This module provides O(1) lookup for IPC endpoints and channels, managing the global namespace for IPC operations.

Structs§

IpcRegistry
IPC registry for managing all endpoints and channels
RegistryStatsSummary
Registry statistics summary

Functions§

create_channel
Create a channel through the global registry
create_endpoint
Global registry access functions Create an endpoint through the global registry
get_registry_stats
Get registry statistics
init
Initialize the IPC registry
lookup_endpoint
Lookup an endpoint by ID
remove_channel
Remove a channel from the global registry
remove_process_endpoints
Remove all endpoints owned by a process (used during process cleanup)
try_receive_from_endpoint
Try to receive a message from an endpoint without blocking.
validate_capability
Validate a capability