int be_migrate_to_cpu(int target_cpu) { return be_migrate_thread_to_cpu(0, target_cpu); }
int be_migrate_thread_to_partition(pid_t tid, int partition) { return be_migrate_thread_to_cpu(tid, partition_to_cpu(partition)); }