const MAX_COUNTER: u64 = _; // 18_446_744_073_709_551_614u64
Maximum value that the eventfd counter can hold.