--- /dev/null	2026-05-03 20:55:05.750445686 +0100
+++ b/src/header/bits_eventfd/mod.rs
@@ -0,0 +1,4 @@
+//! `bits/eventfd.h` — eventfd counter type.
+
+use crate::platform::types::uint64_t;
+pub type eventfd_t = uint64_t;