Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rtc/rtc-pcf2127.c timestamp0_show() -> timestamp_show()

Type Parameter Key Value
PARAM_VALUE 1 attr 7573821848507621376
PARAM_VALUE 1 attr->attr 6624271650515406848
PARAM_VALUE 1 attr->show 1-u64max
PARAM_VALUE 2 buf 1-u64max
PARAM_VALUE 3 ts_id 0
CAPPED_DATA 2 buf 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 attr $1
DATA_SOURCE 2 buf $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/rtc/rtc-pcf2127.c timestamp1_show() -> timestamp_show()

Type Parameter Key Value
PARAM_VALUE 1 attr 7031435603409629184
PARAM_VALUE 1 attr->attr 962794114125008896
PARAM_VALUE 1 attr->show 1-u64max
PARAM_VALUE 2 buf 1-u64max
PARAM_VALUE 3 ts_id 1
CAPPED_DATA 2 buf 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 attr $1
DATA_SOURCE 2 buf $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/rtc/rtc-pcf2127.c timestamp2_show() -> timestamp_show()

Type Parameter Key Value
PARAM_VALUE 1 attr 5010425951771463680
PARAM_VALUE 1 attr->attr 6400777364811767808
PARAM_VALUE 1 attr->show 1-u64max
PARAM_VALUE 2 buf 1-u64max
PARAM_VALUE 3 ts_id 2
CAPPED_DATA 2 buf 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 attr $1
DATA_SOURCE 2 buf $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/rtc/rtc-pcf2127.c timestamp3_show() -> timestamp_show()

Type Parameter Key Value
PARAM_VALUE 1 attr 5781944684918788096
PARAM_VALUE 1 attr->attr 7444283978639699968
PARAM_VALUE 1 attr->show 1-u64max
PARAM_VALUE 2 buf 1-u64max
PARAM_VALUE 3 ts_id 3
CAPPED_DATA 2 buf 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 attr $1
DATA_SOURCE 2 buf $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex