Lines Matching refs:__vki_u64
245 typedef __vki_u64 vki_uint64_t;
1002 __vki_u64 rlim_cur;
1003 __vki_u64 rlim_max;
1070 __vki_u64 data;
1395 __vki_u64 d_ino;
1449 __vki_u64 data; /* the data field from the iocb */
1450 __vki_u64 obj; /* what iocb this event came from */
1467 __vki_u64 aio_data; /* data to be returned in event's data */
1476 __vki_u64 aio_buf;
1477 __vki_u64 aio_nbytes;
1481 __vki_u64 aio_reserved2; /* TODO: use this for a (struct sigevent *) */
1482 __vki_u64 aio_reserved3;
2892 __vki_u64 config;
2895 __vki_u64 sample_period;
2896 __vki_u64 sample_freq;
2899 __vki_u64 sample_type;
2900 __vki_u64 read_format;
2902 __vki_u64 disabled : 1, /* off by default */
2940 __vki_u64 bp_addr;
2941 __vki_u64 config1; /* extension of config */
2944 __vki_u64 bp_len;
2945 __vki_u64 config2; /* extension of config1 */
3172 __vki_u64 gaddr; /* the guest address */
3173 __vki_u64 flags; /* flags */
3176 __vki_u64 buf; /* buffer in userspace */
3270 __vki_u64 op;
3271 __vki_u64 arg[5];
3275 __vki_u64 va;
3276 __vki_u64 mfn;
3277 __vki_u64 npages;
3289 __vki_u64 addr; /* virtual address */
3296 __vki_u64 addr; /* virtual address */
3463 __vki_u64 sset_mask;
3472 __vki_u64 data[0];
3622 __vki_u64 timestamp_ns;
3649 __vki_u64 f_seq;
3660 __vki_u64 gf_recno;
3940 typedef __vki_u64 vki_v4l2_std_id;
3956 __vki_u64 pixelclock;
3991 __vki_u64 min_pixelclock;
3992 __vki_u64 max_pixelclock;
4078 __vki_u64 step;
4168 __vki_u64 offset;
4169 __vki_u64 pts;
4198 __vki_u64 pts;
4377 __vki_u64 reg;
4378 __vki_u64 val;