Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ptp/ptp_ocp.c ptp_ocp_summary_show() -> sma1_show()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 attr 0
PARAM_VALUE 2 buf 18379471554275704832,18446612682070032384
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 2 buf r get_free_pages_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_array_size
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock

drivers/base/core.c dev_attr_show() -> (struct device_attribute)->show()

Type Parameter Key Value
PARAM_VALUE 1 attr 4096-ptr_max
PARAM_VALUE 1 attr->show 1-u64max
PARAM_VALUE 2 buf 1-u64max
CAPPED_DATA 2 buf 1
DATA_SOURCE 2 buf $2
CONTAINER 1 -40+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex