Is there a reason you have to define GCC to get this datatype?
I see this variable defined in /usr/include/linux/types.h and that it is guarded by a “GNUC” define flag. Fortunately, “u_int64_t” is simply a typedef for an unsigned long long so adding the following line to your application’s header file(s) should work.
#ifdef __PGI typedef unsigned long long u_int64_t; #endif
Hope this helps,