void _Per_CPU_Change_state( Per_CPU_Control *per_cpu, Per_CPU_State new_state ) { per_cpu->state = new_state; _CPU_SMP_Processor_event_broadcast(); }
static void change_state(test_context *ctx, test_state new_state) { ctx->state = new_state; _CPU_SMP_Processor_event_broadcast(); }