Lines Matching defs:auxv
170 vki_auxv_t *auxv = (vki_auxv_t *) VG_(client_auxv);171 while (auxv->a_type != VKI_AT_NULL) {173 auxv++;