void save_processor_state(void) { flush_thread(); }
NIL_type Thread_Replace(THR_type Thread) { flush_thread(); Thread_Current = Thread; }
/** * 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); }