Searched refs:index_start (Results 1 – 1 of 1) sorted by relevance
449 uint32_t index_start; in Idle_PTs_release() local463 index_start = (uint32_t)((start - KERNEL_BASE) >> PAGE_SHIFT); in Idle_PTs_release()480 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()490 index_start >>= PTPGSHIFT; in Idle_PTs_release()496 if (index_limit <= index_start) { in Idle_PTs_release()508 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()529 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()