set_start_time


Description:

public void set_start_time (uint64 start_time)

Set the start time of this.

Parameters:

this

A UnixProcess.

start_time

The start time for pid.