CPUBLOCK
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);
c->c_cpu = CPUBLOCK;
if (cpu == CPUBLOCK) {
while (c->c_cpu == CPUBLOCK)