Lines Matching refs:__vki_s64
236 typedef __vki_s64 vki_int64_t;
1393 __vki_s64 d_off;
1466 __vki_s64 result; /* result code for this event */
1467 __vki_s64 result2; /* secondary result */
1491 __vki_s64 aio_offset;
4073 __vki_s64 value64;
4107 __vki_s64 minimum;
4108 __vki_s64 maximum;
4110 __vki_s64 default_value;
4124 __vki_s64 value;
4350 __vki_s64 value64;