Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/uio/uio.c __uio_register_device() -> uio_get_minor()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->event.counter 0
PARAM_VALUE 0 idev->info 4096-ptr_max
PARAM_VALUE 0 idev->info->name 1-u64max
PARAM_VALUE 0 idev->info->uio_dev 0
PARAM_VALUE 0 idev->info->version 1-u64max
PARAM_VALUE 0 idev->info_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->info_lock.first_waiter 0
PARAM_VALUE 0 idev->info_lock.magic 4096-ptr_max
PARAM_VALUE 0 idev->info_lock.osq.tail.counter 0
PARAM_VALUE 0 idev->info_lock.owner.counter 0
PARAM_VALUE 0 idev->owner 0
PARAM_VALUE 0 idev->wait.head.next 4096-ptr_max
PARAM_VALUE 0 idev->wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 idev->wait.head.prev 4096-ptr_max
PARAM_VALUE 0 idev->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 idev->wait.head.prev->prev 4096-ptr_max
BUF_SIZE 0 idev 1904
BUF_SIZE 0 idev->info (-1),1-s32max
DATA_SOURCE 0 idev r _kzalloc_noprof
STR_LEN 0 idev->info->name (-1),4-10,12-14
STR_LEN 0 idev->info->version (-1),1,5-6,9-10
RX_PATH
TASK_NOT_RUNNING