diff options
Diffstat (limited to 'gcc/ada/adaint.h')
| -rw-r--r-- | gcc/ada/adaint.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/adaint.h b/gcc/ada/adaint.h index 2330a794515..6db5bab65ad 100644 --- a/gcc/ada/adaint.h +++ b/gcc/ada/adaint.h @@ -72,6 +72,8 @@ typedef long long OS_Time; typedef long OS_Time; #endif +#define __int64 long long + /* A lazy cache for the attributes of a file. On some systems, a single call to stat() will give all this information, so it is better than doing a system call every time. On other systems this require several system calls. @@ -251,6 +253,10 @@ extern int __gnat_set_close_on_exec (int, int); extern int __gnat_dup (int); extern int __gnat_dup2 (int, int); +/* large file support */ +extern __int64 __gnat_ftell64 (FILE *); +extern int __gnat_fseek64 (FILE *, __int64, int); + extern int __gnat_number_of_cpus (void); extern void __gnat_os_filename (char *, char *, char *, |