Hardware Reference
In-Depth Information
/*-----------------------------------------------------------*/
/* get time -- returns the system time in milliseconds */
/*-----------------------------------------------------------*/
float
get time
(void)
{
return(time unit * sys clock);
}
/*-----------------------------------------------------------*/
/* get state -- returns the state of a task */
/*-----------------------------------------------------------*/
int
get state
(proc p)
{
return(vdes[p].state);
}
/*-----------------------------------------------------------*/
/* get dline -- returns the deadline of a task */
/*-----------------------------------------------------------*/
long
get dline
(proc p)
{
return(vdes[p].dline);
}
/*-----------------------------------------------------------*/
/* get period -- returns the period of a task */
/*-----------------------------------------------------------*/
float
get period
(proc p)
{
return(vdes[p].period);
}
Search WWH ::
Custom Search