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

receive_capability

veridian_kernel::ipc::cap_transfer

Function receive_capability 

Source 
pub fn receive_capability(
    msg: &Message,
    receiver_cap_space: &CapabilitySpace,
) -> Result<Option<CapabilityToken>>
Expand description

Extract and validate capabilities from received message

This function should be called when a process receives an IPC message to properly handle any transferred capabilities.