/* Set the simulated time when the process will stop  */
void hwm_set_end_of_time(uint64_t new_end_of_time)
/* Set the simulated time when the process will stop  */
void hwm_set_end_of_time(uint64_t new_end_of_time)
{
	end_of_time = new_end_of_time;
}