SYNC_STEP_FINISHED
per_cpu(split_state, smp_processor_id()).step = SYNC_STEP_FINISHED;
while(per_cpu(split_state, cpu).step < SYNC_STEP_FINISHED)