Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/xen/time.c xen_timerop_set_next_event() -> get_abs_timeout()

Type Parameter Key Value
DATA_SOURCE 0 delta $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq

arch/x86/xen/time.c xen_vcpuop_set_next_event() -> get_abs_timeout()

Type Parameter Key Value
DATA_SOURCE 0 delta $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq