Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/timekeeping.c __timekeeping_advance() -> logarithmic_accumulation()

Type Parameter Key Value
PARAM_VALUE 0 tk 4096-ptr_max
PARAM_VALUE 0 tk->clock_valid 1-255
PARAM_VALUE 0 tk->tkr_mono.clock 4096-ptr_max
PARAM_VALUE 2 shift 0-62,u32max
PARAM_VALUE 3 clock_set 2779478062383390720
BUF_SIZE 0 tk 320
CAPPED_DATA 0 tk->cycle_interval 1
PARAM_COMPARE 1 offset >= $0->cycle_interval
PARAM_COMPARE 1 offset >= $0->cycle_interval
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 tk->tai_offset
HALF_LOCKED2 &tkd->lock
HALF_LOCKED2 irq