289 }

   289 }

   290 

   290 

   291 void FreeDebugData(void)

   291 void FreeDebugData(void)

   292 {

   292 {

   293     /* atomically mark buffer as free */

   293     /* atomically mark buffer as free */

   296         &buffer_state,

   295         &buffer_state,

   297         BUFFER_BUSY,

   296         BUFFER_BUSY,

   298         BUFFER_FREE);

   297         BUFFER_FREE);

   299 }

   298 }

   300 int WaitDebugData(unsigned long *tick);

   299 int WaitDebugData(unsigned long *tick);