Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/clocksource/hyperv_timer.c read_hv_clock_tsc_cs() -> read_hv_clock_tsc()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &watchdog_lock
HALF_LOCKED2 irq

drivers/clocksource/hyperv_timer.c read_hv_sched_clock_tsc() -> read_hv_clock_tsc()

Type Parameter Key Value

drivers/clocksource/hyperv_timer.c hv_ce_set_next_event() -> drivers/clocksource/hyperv_timer.c ptr hv_read_reference_counter()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq

drivers/clocksource/hyperv_timer.c hv_init_tsc_clocksource() -> drivers/clocksource/hyperv_timer.c ptr hv_read_reference_counter()

Type Parameter Key Value
LOCK2 irq