Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ptp/ptp_ocp.c ptp_ocp_adjtime_coarse() -> __ptp_ocp_gettime_locked()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 ts 8351528812841119744
PARAM_VALUE 2 sts 0
DATA_SOURCE 0 bp $0
BIT_INFO 0 bp 0x3ef58411d5523870,0x3ef58411d5523870
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &bp->lock
TYPE_LOCK (struct ptp_ocp)->lock

drivers/ptp/ptp_ocp.c ptp_ocp_gettimex() -> __ptp_ocp_gettime_locked()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 ts 4096-ptr_max
PARAM_VALUE 2 sts->clockid 0-1,4,16-23
DATA_SOURCE 1 ts $1
DATA_SOURCE 2 sts $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 sts->post_sts.cycles 0-u64max
HOST_DATA 2 sts->pre_sts.cycles 0-u64max
USER_DATA 2 sts->clockid 0-1,4,16-23
NO_OVERFLOW_SIMPLE 1 ts->tv_sec
NO_OVERFLOW_SIMPLE 2 sts->post_ts.tv_sec
LOCK2 flags
LOCK2 0 &bp->lock
HALF_LOCKED2 &s->lock
TYPE_LOCK (struct ptp_ocp)->lock