#include <sched.h>
-extern void __gnat_cpu_zero (cpu_set_t *);
-extern void __gnat_cpu_set (int, cpu_set_t *);
+extern cpu_set_t *__gnat_cpu_alloc (size_t);
+extern size_t __gnat_cpu_alloc_size (size_t);
+extern void __gnat_cpu_set_free (cpu_set_t *);
+extern void __gnat_cpu_zero (size_t, cpu_set_t *);
+extern void __gnat_cpu_set (int, size_t, cpu_set_t *);
#endif
#if defined (_WIN32)