Searched refs:sys_debug_set_breakpoint (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/barrelfish/
H A Dsys_debug.h24 // XXX: arguments to sys_debug_set_breakpoint, which are clearly x86-specific!!
44 errval_t sys_debug_set_breakpoint(uintptr_t addr, uint8_t mode, uint8_t length);
/barrelfish-master/lib/barrelfish/
H A Dsys_debug.c89 errval_t sys_debug_set_breakpoint(uintptr_t addr, uint8_t mode, uint8_t length) function

Completed in 93 milliseconds