Rev 2801 | Rev 2805 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed
/** @addtogroup generic
* @{
*/
/** @file
*/
#ifndef KERN_UDEBUG_H_
#define KERN_UDEBUG_H_
void udebug_syscall_event(void);
void udebug_stoppable_begin(void);
void udebug_stoppable_end(void);
#endif
/** @}
*/