cc_migration_cpu
cc_migration_cpu(cc, direct) = cpu;
cc_migration_cpu(cc, direct) = CPUBLOCK;
cc_migration_cpu(cc, direct) = CPUBLOCK;
cc_migration_cpu(cc, direct) = CPUBLOCK;
return (cc_migration_cpu(cc, direct) != CPUBLOCK);
new_cpu = cc_migration_cpu(cc, direct);
cc_migration_cpu(cc, direct) = cpu;