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

fast_receive

veridian_kernel::ipc::fast_path

Function fast_receive 

Source 
pub fn fast_receive(endpoint: u64, timeout: Option<u64>) -> Result<SmallMessage>
Expand description

Fast path IPC receive

If a message has already been deposited in the current task’s ipc_regs (by a fast_send while we were blocked), read it directly. Otherwise, check the endpoint’s message queue, and if empty, block.