void save_processor_state(void)
{
	flush_thread();
}
Exemple #2
0
NIL_type Thread_Replace(THR_type Thread)
  { flush_thread();        
    Thread_Current = Thread; }
Exemple #3
0
/**
 * Called when statsite is terminating to flush the
 * final set of metrics
 */
void final_flush() {
    // Get the last set of metrics
    metrics *old = GLOBAL_METRICS;
    GLOBAL_METRICS = NULL;
    flush_thread(old);
}