Searched refs:index_start (Results 1 – 1 of 1) sorted by relevance
450 uint32_t index_start; in Idle_PTs_release() local464 index_start = (uint32_t)((start - KERNEL_BASE) >> PAGE_SHIFT); in Idle_PTs_release()481 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()491 index_start >>= PTPGSHIFT; in Idle_PTs_release()497 if (index_limit <= index_start) { in Idle_PTs_release()509 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()530 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()