Searched refs:behind (Results 1 - 21 of 21) sorted by relevance

/barrelfish-master/include/vm/
H A Dvm_fault.c296 int ahead, behind, cluster_offset, error, locked, rv; local
678 behind = 0;
683 behind = 0;
698 behind = ulmin(cluster_offset,
706 &behind, &ahead);
708 faultcount = behind + 1 + ahead;
1008 faultcount > 0 ? behind : PFBAK,
1041 PAGE_SIZE + behind * PAGE_SIZE);
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dreal.tex140 but a delayed goal is left behind, indicating that the result of the
175 not throw exceptions or leave behind large numbers of meaningless delayed
230 delayed goal \texttt{-0.1__0.1 >= 0} will be left behind and Code A
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dglobalstate.tex73 For the following, it is useful to know the ideas behind the UNIX
H A Dkernel.tex824 a(A),y(Y) and leave S pointing behind it\\
1762 behind and filling the allocated space.
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsstring.tex137 Moreover the call leaves a choicepoint behind (as shown by the more-prompt).
H A Dumsmemory.tex206 has left a choicepoint behind.
H A Dumsarith.tex211 behind which can then be inspected by the user to decide whether the
H A Dumsdeveltools.tex530 whether they left behind any choice-points for backtracking;
H A Dumsexcept.tex374 the execution continues at the point behind the call of the erroneous goal;
H A Dumslanguage.tex1074 Moreover the call leaves a choicepoint behind (as shown by the
/barrelfish-master/doc/004-virtual_memory/
H A DVirtualMemory.tex170 This is hidden behind wrapper functions and most users of the library are shielded from this.
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dic.tex171 interval contains the true answer. This is the principle behind the bounded
183 delayed goal is left behind. This delayed goal indicates that the
185 goal is true. For example, if the delayed goal left behind was
1286 behind and may perform extra propagation before returning (it may be
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Dmultiuser-sec.tex184 Concurrency control is performed automatically behind
H A Ddatabase-sec.tex908 is valid in an {\bf isr} clause behind the {\bf where}.
/barrelfish-master/doc/015-disk-driver-arch/
H A Dlibahci.tex7 The intent behind \libahci is to provide an easy-to-use low-level interface to
/barrelfish-master/doc/019-device-drivers/
H A DDeviceDriver.tex288 next chapters we will have a closer look on what is actually happening behind
/barrelfish-master/doc/017-arm/
H A DARM.tex279 split. The idea behind a memory split is to separate kernel code from
/barrelfish-master/usr/eclipseclp/documents/search/
H A Dsearch.tex1515 just described labelling procedure, \verb'label/1', does not leave behind a
/barrelfish-master/doc/014-bulk-transfer/
H A Dbulk-transfer.tex199 %behind them yet, but my preliminary guess was that context switches on
/barrelfish-master/lib/tommath/
H A Dtommath.tex254 That is to not only explain a limited subset of the core theory behind the algorithms but also the various ``house keeping''
414 answer these questions will feel comfortable with the concepts behind the topic at hand.
844 The logic behind the algorithm is extended by marking cleared mp\_int structures so that subsequent calls to this
2177 motivation behind this change is due to the way this function is typically used. Algorithms such as mp\_add store the result in an optionally
3634 fairly slow if not unavailable. The idea behind fixed point arithmetic is to take a normal $k$-bit integer data type and break it into $p$-bit
/barrelfish-master/doc/002-mackerel/
H A DMackerel.tex1852 this in favor of masks and shifts, hidden behind inline functions.

Completed in 202 milliseconds