KERNEL DESIGN ISSUES - Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications - page 384

/*-----------------------------------------------------------*/
/* 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);
}