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