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

/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsmacros.tex319 \predspec{tr_s/2} would turn into \predspec{s/1} structures:
326 tr_s(0, 0).
327 tr_s(s(S), N) :- tr_s(S, N1), N is N1+1.
328 :- local macro(s/1, tr_s/2, [write]).
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c358 int tr_s = seg_access_s(tr_access_rights); local
359 assert(tr_s == 0);

Completed in 14 milliseconds