int pin_pthread(int cpu);
int pin_process_multi(int cpus[], int num);