Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/hid-nvidia-shield.c shield_probe() -> thunderstrike_device_init_info()

Type Parameter Key Value
PARAM_VALUE 0 shield_dev 4096-ptr_max
PARAM_VALUE 0 shield_dev->battery_dev.desc.get_property 5408983129335377920
PARAM_VALUE 0 shield_dev->battery_dev.desc.name 1-u64max
PARAM_VALUE 0 shield_dev->battery_dev.desc.num_properties 1-u64max
PARAM_VALUE 0 shield_dev->battery_dev.desc.properties 1-u64max
PARAM_VALUE 0 shield_dev->battery_dev.desc.type 1
PARAM_VALUE 0 shield_dev->battery_dev.psy 4096-ptr_max
PARAM_VALUE 0 shield_dev->battery_dev.psy->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 shield_dev->battery_dev.psy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 shield_dev->codename 0
PARAM_VALUE 0 shield_dev->hdev 0
PARAM_VALUE 0 shield_dev->hdev->bpf_rdesc 0
PARAM_VALUE 0 shield_dev->hdev->collection 0
PARAM_VALUE 0 shield_dev->hdev->collection_size 0
PARAM_VALUE 0 shield_dev->hdev->dev.devres_head.prev 0
PARAM_VALUE 0 shield_dev->hdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 shield_dev->hdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 shield_dev->hdev->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 shield_dev->hdev->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 shield_dev->hdev->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 shield_dev->hdev->devres_group_id 0
PARAM_VALUE 0 shield_dev->hdev->driver 0
PARAM_VALUE 0 shield_dev->hdev->io_started 0
PARAM_VALUE 0 shield_dev->hdev->rdesc 0
PARAM_VALUE 0 shield_dev->hdev->status 0
BUF_SIZE 0 shield_dev 144
CAPPED_DATA 0 shield_dev->battery_dev.desc.name 1
DATA_SOURCE 0 shield_dev r thunderstrike_create
TERMINATED 0 shield_dev->codename 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &hdev->driver_input_lock
TYPE_LOCK (struct hid_device)->driver_input_lock

drivers/hid/hid-nvidia-shield.c thunderstrike_parse_report() -> thunderstrike_device_init_info()

Type Parameter Key Value
PARAM_VALUE 0 shield_dev 4096-ptr_max
BUF_SIZE 0 shield_dev s32min-(-2),1-s32max
BUF_SIZE 0 shield_dev s32min-(-2),1-s32max
DATA_SOURCE 0 shield_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 shield_dev unit_byte
HALF_LOCKED2 &hdev->dev.driver_data->dyn_callback_lock
HALF_LOCKED2 &hdev->dev.driver_data->mutex
HALF_LOCKED2 &hdev->driver_data->mutex
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 &hdev->ll_open_lock

drivers/hid/hid-nvidia-shield.c thunderstrike_parse_report() -> thunderstrike_device_init_info()

Type Parameter Key Value
PARAM_VALUE 0 shield_dev 4096-ptr_max
BUF_SIZE 0 shield_dev s32min-(-2),1-s32max
BUF_SIZE 0 shield_dev s32min-(-2),1-s32max
DATA_SOURCE 0 shield_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 shield_dev unit_byte
HALF_LOCKED2 &hdev->dev.driver_data->dyn_callback_lock
HALF_LOCKED2 &hdev->dev.driver_data->mutex
HALF_LOCKED2 &hdev->driver_data->mutex
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 &hdev->ll_open_lock