Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 tk 4096-ptr_max
PARAM_VALUE 0 tk->tkr_mono.xtime_nsec 0-18446744073709551614
BUF_SIZE 0 tk 320
CAPPED_DATA 0 tk->cycle_interval 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tk->tai_offset
NO_OVERFLOW_SIMPLE 0 tk->tkr_mono.mult
HALF_LOCKED2 &tkd->lock
HALF_LOCKED2 irq

kernel/time/timekeeping.c timekeeping_forward_now() -> tk_update_coarse_nsecs()

Type Parameter Key Value
PARAM_VALUE 0 tk 4096-ptr_max
BUF_SIZE 0 tk 320
DATA_SOURCE 0 tk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tkd->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

kernel/time/timekeeping.c tk_set_xtime() -> tk_update_coarse_nsecs()

Type Parameter Key Value
PARAM_VALUE 0 tk 7993997016906715520
BUF_SIZE 0 tk 320
DATA_SOURCE 0 tk $0
BIT_INFO 0 tk->xtime_sec 0x0,0x7fffffffffffffff
NOCHECK_CALL
USER_DATA 0 tk->xtime_sec 0-8277292035
NO_OVERFLOW_SIMPLE 0 tk->tai_offset
LOCK2 irq

kernel/time/timekeeping.c tk_xtime_add() -> tk_update_coarse_nsecs()

Type Parameter Key Value
PARAM_VALUE 0 tk 4096-ptr_max
PARAM_VALUE 0 tk->tkr_mono.xtime_nsec 0-18446744073709551614
BUF_SIZE 0 tk 320
DATA_SOURCE 0 tk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tk->xtime_sec
HALF_LOCKED2 irq