Lines Matching refs:window_index
145 int window_index;
229 for (window_index = 0; window_index < NCOPY_WINDOWS; window_index++) {
230 if (thread->machine.copy_window[window_index].user_base == user_base)
233 if (window_index >= NCOPY_WINDOWS) {
235 window_index = thread->machine.nxt_window;
248 thread->machine.copy_window[window_index].user_base = user_base;
253 kpdp += window_index;
261 KERNEL_DEBUG(0xeff70040 | DBG_FUNC_NONE, window_index,
274 kpdp += window_index;
287 KERNEL_DEBUG(0xeff70054 | DBG_FUNC_NONE, window_index, 0, 0, 0, 0);
289 user_offset += (window_index * NBPDE);