Searched refs:DBG_PORT (Results 1 - 3 of 3) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | emu.c | 1765 DBG_PORT = CALL_PORT; 1766 goto _handler_call_; /* (proc,DBG_PORT) */ 1838 Make_Integer(DynEnvDbgPort(E), DBG_PORT); local 3703 DBG_PORT = PP->nint; 3709 DBG_PORT = PP->nint; 3720 DBG_PORT = PP->nint | INLINE_PORT; 3726 DBG_PORT = PP++->nint; 3727 _trust_me_: /* (back_code,PP,DBG_PORT) */ 3734 _pop_choice_point_: /* (pw2 points to arguments,DBG_PORT) */ 3799 if (!(TfFlags(TD) & TF_REDO) && (DBG_PORT 5722 Make_Integer(DynEnvDbgPort(E), DBG_PORT); local 5819 DBG_PORT = WAKE_PORT; local [all...] |
H A D | sepia.h | 1383 #define DBG_PORT g_emu_.trace_data.call_port macro
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | debugger.tex | 255 sets DBG_PRI,DBG_PORT,DBG_INVOC and raises event 267 - additionally DBG_PRI,DBG_PORT,DBG_INVOC
|
Completed in 76 milliseconds