Defined in 2 files as a function:
- drivers/clocksource/hyperv_timer.c, line 240 (as a function)
- drivers/clocksource/hyperv_timer.c, line 256 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/clocksource/hyperv_timer.c hv_stimer_alloc() -> hv_remove_stimer0_irq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/clocksource/hyperv_timer.c hv_stimer_global_cleanup() -> hv_remove_stimer0_irq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |