Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/test_firmware.c __test_firmware_config_init() -> __kstrncpy()

Type Parameter Key Value
PARAM_VALUE 0 dst 0,4096-ptr_max
PARAM_VALUE 1 name 9129885024967061504
PARAM_VALUE 2 count 17
PARAM_VALUE 3 gfp 3264
BUF_SIZE 1 name 18
STR_LEN 0 dst 17
TERMINATED 1 name 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &test_fw_mutex

lib/test_firmware.c config_name_store() -> __kstrncpy()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 name 4096-ptr_max
PARAM_VALUE 2 count 1-1000000000
PARAM_VALUE 3 gfp 3264
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 1 name $2
DATA_SOURCE 2 count $3
NOSPEC 2 count
RX_PATH
TASK_NOT_RUNNING
ELEM_LAST 1 ==name2 8052
LOCK2 &of->mutex
LOCK2 global &test_fw_mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

lib/test_kmod.c config_copy_test_driver_name() -> __kstrncpy()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 *dst 0
PARAM_VALUE 0 *(*dst) 0
PARAM_VALUE 1 name 1-u64max
PARAM_VALUE 2 count 0-1000000000
PARAM_VALUE 3 gfp 3264
BUF_SIZE 1 name (-1),12
BUF_SIZE 1 name (-1),12
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 1 name $1
DATA_SOURCE 2 count $2
STR_LEN 0 dst (-1),11
STR_LEN 1 name (-1),11
NOSPEC 2 count
RX_PATH
TASK_NOT_RUNNING
ELEM_LAST 1 ==name2 8052
LOCK2 &test_dev->config_mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct kmod_test_device)->config_mutex

lib/test_kmod.c config_copy_test_fs() -> __kstrncpy()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 *dst 0
PARAM_VALUE 0 *(*dst) 0
PARAM_VALUE 1 name 1-u64max
PARAM_VALUE 2 count 0-1000000000
PARAM_VALUE 3 gfp 3264
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 1 name $1
DATA_SOURCE 2 count $2
NOSPEC 2 count
RX_PATH
TASK_NOT_RUNNING
ELEM_LAST 1 ==name2 8052
LOCK2 &test_dev->config_mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct kmod_test_device)->config_mutex