Lines Matching refs:uint32_t
139 uint32_t filetype,
197 uint32_t *ts,
198 uint32_t total_size
204 uint32_t *ts,
205 uint32_t total_size,
213 uint32_t *ts,
214 uint32_t total_size,
498 uint32_t ncmds;
938 uint32_t filetype,
1234 (uint32_t *)(((vm_offset_t)tcp) +
1258 (uint32_t *)(((vm_offset_t)tcp) +
1269 (uint32_t *)(((vm_offset_t)tcp) +
1285 uint32_t *ts,
1286 uint32_t total_size
1290 uint32_t size;
1292 uint32_t thread_size;
1307 UINT32_MAX/sizeof(uint32_t) < size+2)
1309 thread_size = (size+2)*sizeof(uint32_t);
1322 ts += size; /* ts is a (uint32_t *) */
1331 uint32_t *ts,
1332 uint32_t total_size,
1338 uint32_t size;
1340 uint32_t stack_size;
1346 UINT32_MAX/sizeof(uint32_t) < size+2)
1348 stack_size = (size+2)*sizeof(uint32_t);
1362 ts += size; /* ts is a (uint32_t *) */
1371 uint32_t *ts,
1372 uint32_t total_size,
1377 uint32_t size;
1379 uint32_t entry_size;
1389 UINT32_MAX/sizeof(uint32_t) < size+2)
1391 entry_size = (size+2)*sizeof(uint32_t);
1404 ts += size; /* ts is a (uint32_t *) */
1746 uint32_t ncmds = header->ncmds;