diff options
Diffstat (limited to 'gcc/ada/adaint.h')
-rw-r--r-- | gcc/ada/adaint.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/adaint.h b/gcc/ada/adaint.h index 3ceecaa..45f1203 100644 --- a/gcc/ada/adaint.h +++ b/gcc/ada/adaint.h @@ -247,6 +247,13 @@ extern void __gnat_os_filename (char *, char *, char *, int *, char *, int *); #if defined (linux) extern void *__gnat_lwp_self (void); + +/* Routines for interface to required CPU set primitives */ + +#include <sched.h> + +extern void __gnat_cpu_zero (cpu_set_t *); +extern void __gnat_cpu_set (int, cpu_set_t *); #endif #if defined (_WIN32) |