diff --git a/src/header/sched/cbindgen.toml b/src/header/sched/cbindgen.toml
index 40b79b78fc..2382d8abad 100644
--- a/src/header/sched/cbindgen.toml
+++ b/src/header/sched/cbindgen.toml
@@ -11,6 +11,12 @@ after_includes = """
 #include <bits/timespec.h> // for timespec
 
 #define CPU_SETSIZE 1024
+
+/* cpu_set_t must be defined BEFORE the CPU_* inline functions */
+typedef struct cpu_set_t {
+  uint64_t __bits[16];
+} cpu_set_t;
+
 static inline void CPU_ZERO(cpu_set_t *set) {
     for (int i = 0; i < 16; i++) set->__bits[i] = 0;
 }
@@ -44,7 +50,6 @@ prefix_with_name = true
 [export]
 include = [
     "sched_param",
-    "cpu_set_t",
     "sched_get_priority_max",
     "sched_get_priority_min",
     "sched_getparam",