gonzui

tkernel_2

driver/tef_em1d/kbpd/src/statmach.c - 10.8KB - 383 lines

70:         /* set current time */
71:         ercd = tk_get_tim(&time);
72:         if ( ercd != E_OK ) {
97:         /* current time */
98:         ercd = tk_get_tim(&time);
99:         if ( ercd != E_OK ) {