Searched refs:fetched (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/lib/x86emu/
H A Ddecode.c156 int fetched; local
160 fetched = (*sys_rdb)(((u32)M.x86.R_CS << 4) + (M.x86.R_IP++));
162 *mod = (fetched >> 6) & 0x03;
163 *regh = (fetched >> 3) & 0x07;
164 *regl = (fetched >> 0) & 0x07;
179 u8 fetched; local
183 fetched = (*sys_rdb)(((u32)M.x86.R_CS << 4) + (M.x86.R_IP++));
185 return fetched;
200 u16 fetched; local
204 fetched
222 u32 fetched; local
[all...]
/barrelfish-master/doc/015-disk-driver-arch/
H A Dlibahci.tex215 fetched from \emph{ahcid}, the port is enabled (the \emph{command list running}
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Ddbi.tex303 some of the matching rows have been fetched.
/barrelfish-master/lib/tommath/
H A Dtommath.tex5160 is fetched from the exponent.

Completed in 61 milliseconds