Searched refs:index_start (Results 1 – 1 of 1) sorted by relevance
447 uint32_t index_start; in Idle_PTs_release() local461 index_start = (uint32_t)((start - KERNEL_BASE) >> PAGE_SHIFT); in Idle_PTs_release()478 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()488 index_start >>= PTPGSHIFT; in Idle_PTs_release()494 if (index_limit <= index_start) { in Idle_PTs_release()506 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()527 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()