task3.i

A rtx51 tiny example program

#line 1 "Task3.c" /0
 
 
 
 
 
 
  
#line 1 "D:\KEIL\C51\INC\RTX51TNY.H" /0






 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 extern unsigned char os_create_task     (unsigned char task_id);
 extern unsigned char os_delete_task     (unsigned char task_id);
 
 extern unsigned char os_wait            (unsigned char typ, 
 unsigned char ticks,
 unsigned int dummy);
 extern unsigned char os_wait1           (unsigned char typ);
 extern unsigned char os_wait2           (unsigned char typ,
 unsigned char ticks);
 
 extern unsigned char os_send_signal     (unsigned char task_id);
 extern unsigned char os_clear_signal    (unsigned char task_id);
 extern unsigned char isr_send_signal    (unsigned char task_id);
 
 extern void          os_set_ready       (unsigned char task_id);
 extern void          isr_set_ready      (unsigned char task_id);
 
 extern unsigned char os_running_task_id (void);
 extern unsigned char os_switch_task     (void); 
 
 extern void          os_reset_interval  (unsigned char ticks);
 
 
#line 7 "Task3.c" /0
 
 
 unsigned long counter3;                
 
 
 
 
 
 void job3 (void) _task_ 3  {
 while (1)  {                         
 os_wait1 (0);                      
 counter3++;                        
 }
 }