Searched refs:vki_errno_t (Results 1 – 2 of 2) sorted by relevance
1059 typedef int vki_errno_t; typedef
2206 vki_errno_t *, results, vki_uid_t *, uid); in PRE()2255 POST_MEM_WRITE( ARG3, n_descs * sizeof(vki_errno_t) ); in POST()