cpc_bind_cpu
if (cpc_bind_cpu(cpc, state->cpuid, this, 0) == -1)
if (cpc_bind_cpu(cpc, state->cpuid, this, 0) != 0)
extern int cpc_bind_cpu(cpc_t *cpc, processorid_t id, cpc_set_t *set,