Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/timekeeping.c timekeeping_inject_sleeptime64() -> __timekeeping_inject_sleeptime()

Type Parameter Key Value
PARAM_VALUE 0 tk 7993997016906715520
PARAM_VALUE 0 tk->tkr_mono.clock 4096-ptr_max
PARAM_VALUE 0 tk->tkr_mono.xtime_nsec 0-18446744073709551614
PARAM_VALUE 0 tk->tkr_raw.xtime_nsec 0-18446744073709551614
PARAM_VALUE 1 delta 7287977299956592640
PARAM_VALUE 1 delta->tv_sec 0-s64max
BUF_SIZE 0 tk 320
DATA_SOURCE 1 delta $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 &fsm->lock

kernel/time/timekeeping.c timekeeping_resume() -> __timekeeping_inject_sleeptime()

Type Parameter Key Value
PARAM_VALUE 0 tk 7993997016906715520
PARAM_VALUE 1 delta 8912340296648962048
BUF_SIZE 0 tk 320
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 global &tick_freeze_lock
HALF_LOCKED2 irq