Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/msi-ec.c charge_control_end_threshold_show() -> charge_control_threshold_show()

Type Parameter Key Value
PARAM_VALUE 0 offset 0,128
PARAM_VALUE 2 attr 2139548043333353472
PARAM_VALUE 2 attr->attr 955417713562365952
PARAM_VALUE 2 attr->show 1-u64max
PARAM_VALUE 3 buf 1-u64max
CAPPED_DATA 3 buf 1
DATA_SOURCE 1 device $0
DATA_SOURCE 2 attr $1
DATA_SOURCE 3 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/platform/x86/msi-ec.c charge_control_start_threshold_show() -> charge_control_threshold_show()

Type Parameter Key Value
PARAM_VALUE 0 offset 0,138
PARAM_VALUE 2 attr 4050564158096523264
PARAM_VALUE 2 attr->attr 5052077458459406336
PARAM_VALUE 2 attr->show 1-u64max
PARAM_VALUE 3 buf 1-u64max
CAPPED_DATA 3 buf 1
DATA_SOURCE 1 device $0
DATA_SOURCE 2 attr $1
DATA_SOURCE 3 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