Rev 2804 | Go to most recent revision | Details | Last modification | View Log | RSS feed
/** @addtogroup generic
* @{
*/
/** @file
#ifndef KERN_UDEBUG_H_
#define KERN_UDEBUG_H_
void udebug_syscall_event(void);
void udebug_stopping_point(void);
#endif
/** @}