Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

kernel/time/posix-timers.c posix_get_boottime_timespec() -> timens_add_boottime()

Type Parameter Key Value
PARAM_VALUE 0 ts 2256598480787394560,2317135252460216320
DATA_SOURCE 0 ts $1
NOCHECK_CALL

kernel/time/alarmtimer.c get_boottime_timespec() -> timens_add_boottime()

Type Parameter Key Value
PARAM_VALUE 0 ts 2256598480787394560,2317135252460216320
DATA_SOURCE 0 ts $0
NOCHECK_CALL

kernel/sys.c do_sysinfo() -> timens_add_boottime()

Type Parameter Key Value
PARAM_VALUE 0 ts 3910134115034038272
NOCHECK_CALL

fs/proc/uptime.c uptime_proc_show() -> timens_add_boottime()

Type Parameter Key Value
PARAM_VALUE 0 ts 8619837452413124608
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock