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

eventfd_write

veridian_kernel::fs::eventfd

Function eventfd_write 

Source 
pub fn eventfd_write(efd_id: u32, value: u64) -> Result<usize, SyscallError>
Expand description

Write to an eventfd. Adds value to the internal counter.

If the addition would overflow u64::MAX - 1, returns EAGAIN when nonblock is set, otherwise busy-waits until a read drains the counter enough (capped at 30s).