Searched refs:ttptr (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | emu_c_env.c | 2481 check_trail2(int print, pword **ttptr, pword **ttend, pword *min_tg_when_failing) 2485 while(ttptr < ttend) { 2486 if (print) p_fprintf(current_err_, "TT=0x%08x: ", ttptr); 2487 switch((((word) *ttptr) & 3)) { 2489 pw = *ttptr++; 2495 pw = *(ttptr+1); 2496 if (print) p_fprintf(current_err_, "TAG 0x%08x 0x%08x\n", pw, TrailedTag(*ttptr)); 2499 ttptr += 2; 2502 ctr = (word) *ttptr++; 2503 pw = *ttptr 2479 check_trail2(int print, pword **ttptr, pword **ttend, pword *min_tg_when_failing) argument [all...] |
H A D | emu_export.h | 518 #define Untrail_(ttptr, top, ctr, pw) \ 519 while(ttptr < top) {\ 520 switch((((word) *ttptr) & 3)) {\ 522 pw = *ttptr++;\ 528 pw = *(ttptr+1);\ 530 pw->tag.kernel = TrailedTag(*(ttptr));\ 531 ttptr += 2;\ 534 ctr = (word) *ttptr++;\ 535 pw = (pword *)((uword *) *(ttptr++) + TrailedOffset(ctr));\ 538 pw->val.ptr = *ttptr [all...] |
Completed in 169 milliseconds