Searched refs:DBG_PORT (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Demu.c1765 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 Dsepia.h1383 #define DBG_PORT g_emu_.trace_data.call_port macro
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Ddebugger.tex255 sets DBG_PRI,DBG_PORT,DBG_INVOC and raises event
267 - additionally DBG_PRI,DBG_PORT,DBG_INVOC

Completed in 76 milliseconds