/** @addtogroup generic
* @{
*/
/** @file
*/
#ifndef KERN_UDEBUG_OPS_H_
#define KERN_UDEBUG_OPS_H_
#include <ipc/ipc.h>
int udebug_begin(call_t *call);
int udebug_end(void);
int udebug_go(thread_t *t, call_t *call);
int udebug_thread_read(void **buffer, size_t *n);
int udebug_args_read(thread_t *t, void **buffer);
int udebug_regs_read(thread_t *t, void **buffer, size_t *n);
int udebug_regs_write(thread_t *t, void *buffer);
int udebug_mem_read(unative_t uspace_addr, size_t n, void **buffer);
int udebug_mem_write(unative_t uspace_addr, void *data, size_t n);
#endif
/** @}
*/