81  * entering idle state.
83  * It is used for chips that has to use a separate idle timer in such
89 /* Cycle counter before entering the idle state. */
92 /* Idle timer value before entering the idle state. */
95 /* Idle timer used for timer while entering the idle state */
186 	 * LOAD value, just before entering the idle mode (SysTick is clocked) or right  in sys_clock_isr()
187 	 * after exiting the idle mode, before executing the procedure in the  in sys_clock_isr()
224 void sys_clock_set_timeout(int32_t ticks, bool idle)  in sys_clock_set_timeout()  argument
226 	/* Fast CPUs and a 24 bit counter mean that even idle systems  in sys_clock_set_timeout()
228 	 * allows us to miss tick announcements in idle, then shut off  in sys_clock_set_timeout()
229 	 * the counter. (Note: we can assume if idle==true that  in sys_clock_set_timeout()
232 	if (IS_ENABLED(CONFIG_TICKLESS_KERNEL) && idle && ticks == K_TICKS_FOREVER) {  in sys_clock_set_timeout()
239 	if (idle) {  in sys_clock_set_timeout()
251 		/* Set the alarm using timer that runs the idle.  in sys_clock_set_timeout()
259 		 * measurements after exiting the idle state.  in sys_clock_set_timeout()
383 		/* Check IDLE timer overflow */  in sys_clock_idle_exit()
397 		 * the SysTick missed in idle state.  in sys_clock_idle_exit()
402 			 * resolution of than the IDLE timer, thus the measurement of  in sys_clock_idle_exit()
414 		/* Update the cycle counter to include the cycles missed in idle */  in sys_clock_idle_exit()