Searched refs:index_start (Results 1 – 1 of 1) sorted by relevance
451 uint32_t index_start; in Idle_PTs_release() local465 index_start = (uint32_t)((start - KERNEL_BASE) >> PAGE_SHIFT); in Idle_PTs_release()482 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()492 index_start >>= PTPGSHIFT; in Idle_PTs_release()498 if (index_limit <= index_start) { in Idle_PTs_release()510 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()531 for (i = index_start; i < index_limit; ++i) { in Idle_PTs_release()