ocs_thread_getcpu
({ocs_thread_t *self = ocs_thread_self(); self != NULL ? self->name : "unknown";}), ocs_thread_getcpu());
uint32_t cpuidx = ocs_thread_getcpu();
extern int32_t ocs_thread_getcpu(void);