Lines Matching refs:vki_uint32_t
2507 if (ARG4 > sizeof(vki_uint32_t)) {
2509 vki_uint32_t *sizep = (vki_uint32_t *)ARG3;
2510 POST_MEM_WRITE(ARG3, sizeof(vki_uint32_t));
2587 vki_uint32_t, "objid_low32", vki_uint32_t, "objid_high32");
3056 vki_uint32_t, offset_low32, vki_uint32_t, offset_high32,
3745 vki_uint32_t, arg_low32,
3746 vki_uint32_t, arg_high32,
