Lines Matching defs:ts
185 uint32_t *ts,
192 uint32_t *ts,
201 uint32_t *ts,
1189 uint32_t *ts,
1208 flavor = *ts++;
1209 size = *ts++;
1222 ret = thread_setstatus(thread, flavor, (thread_state_t)ts, size);
1226 ts += size; /* ts is a (uint32_t *) */
1235 uint32_t *ts,
1247 flavor = *ts++;
1248 size = *ts++;
1262 ret = thread_userstack(thread, flavor, (thread_state_t)ts, size, user_stack, customstack);
1266 ts += size; /* ts is a (uint32_t *) */
1275 uint32_t *ts,
1290 flavor = *ts++;
1291 size = *ts++;
1304 ret = thread_entrypoint(thread, flavor, (thread_state_t)ts, size, entry_point);
1308 ts += size; /* ts is a (uint32_t *) */