HomeSort by relevance Sort by last modified time
    Searched defs:__vki_u32 (Results 1 - 6 of 6) sorted by null

  /external/valgrind/main/include/vki/
vki-amd64-linux.h 47 typedef unsigned int __vki_u32; typedef
186 __vki_u32 mxcsr;
187 __vki_u32 mxcsr_mask;
188 __vki_u32 st_space[32]; /* 8*16 bytes for each FP-reg */
189 __vki_u32 xmm_space[64]; /* 16*16 bytes for each XMM-reg */
190 __vki_u32 reserved2[24];
480 __vki_u32 mxcsr;
481 __vki_u32 mxcsr_mask;
482 __vki_u32 st_space[32]; /* 8*16 bytes for each FP-reg = 128 bytes */
483 __vki_u32 xmm_space[64]; /* 16*16 bytes for each XMM-reg = 256 bytes *
    [all...]
vki-ppc32-linux.h 47 typedef unsigned int __vki_u32; typedef
57 __vki_u32 u[4];
441 __vki_u32 f_type;
442 __vki_u32 f_bsize;
443 __vki_u32 f_blocks;
444 __vki_u32 f_bfree;
445 __vki_u32 f_bavail;
446 __vki_u32 f_files;
447 __vki_u32 f_ffree;
449 __vki_u32 f_namelen
    [all...]
vki-ppc64-linux.h 48 typedef unsigned int __vki_u32; typedef
54 __vki_u32 u[4];
vki-s390x-linux.h 48 typedef unsigned int __vki_u32; typedef
632 __vki_u32 hi;
633 __vki_u32 lo;
639 __vki_u32 fpc;
vki-x86-linux.h 47 typedef unsigned int __vki_u32; typedef
407 __vki_u32 f_type;
408 __vki_u32 f_bsize;
409 __vki_u32 f_blocks;
410 __vki_u32 f_bfree;
411 __vki_u32 f_bavail;
412 __vki_u32 f_files;
413 __vki_u32 f_ffree;
415 __vki_u32 f_namelen;
416 __vki_u32 f_frsize
    [all...]
vki-arm-linux.h 51 typedef unsigned int __vki_u32; typedef
369 __vki_u32 f_type;
370 __vki_u32 f_bsize;
371 __vki_u32 f_blocks;
372 __vki_u32 f_bfree;
373 __vki_u32 f_bavail;
374 __vki_u32 f_files;
375 __vki_u32 f_ffree;
377 __vki_u32 f_namelen;
378 __vki_u32 f_frsize
    [all...]

Completed in 208 milliseconds