Searched refs:vki_sg_io_hdr_t (Results 1 – 2 of 2) sorted by relevance
1693 } vki_sg_io_hdr_t; /* 64 bytes long (on i386) */ typedef
4036 PRE_MEM_WRITE( "ioctl(SG_IO)", ARG3, sizeof(vki_sg_io_hdr_t) ); in PRE()5290 POST_MEM_WRITE(ARG3, sizeof(vki_sg_io_hdr_t)); in POST()