Rev 2804 |
Go to most recent revision |
Blame |
Last modification |
View Log
| Download
| RSS feed
/** @addtogroup generic
* @{
*/
/** @file
*/
#ifndef KERN_UDEBUG_H_
#define KERN_UDEBUG_H_
typedef enum {
UDEBUG_EVENT_SYSCALL
} udebug_event_t;
void udebug_syscall_event(unative_t a1, unative_t a2, unative_t a3,
unative_t a4, unative_t a5, unative_t a6, unative_t id, unative_t rc);
void udebug_stoppable_begin(void);
void udebug_stoppable_end(void);
#endif
/** @}
*/