Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/time/timer.c get_next_timer_interrupt() -> __get_next_timer_interrupt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | idle | 0 |
| DATA_SOURCE | 0 | basej | $0 |
| DATA_SOURCE | 1 | basem | $1 |
| PREEMPT_ADD | |||
| LOCK2 | irq |
kernel/time/timer.c timer_base_try_to_set_idle() -> __get_next_timer_interrupt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | idle | 6997778226215968768 |
| PARAM_VALUE | 2 | *idle | 0 |
| DATA_SOURCE | 0 | basej | $0 |
| DATA_SOURCE | 1 | basem | $1 |
| DATA_SOURCE | 2 | idle | $2 |
| PREEMPT_ADD | |||
| LOCK2 | irq |