miri::shims::unix::linux::eventfd

Constant MAX_COUNTER

Source
const MAX_COUNTER: u64 = _; // 18_446_744_073_709_551_614u64
Expand description

Maximum value that the eventfd counter can hold.