44 printf(
"\nTiming Information -------------------------------------------------");
59 printf(
"\n********************************************************************\n");
void PrintTimers(ctrl_t *ctrl)
#define gk_clearcputimer(tmr)
#define gk_getcputimer(tmr)
void InitTimers(ctrl_t *ctrl)