Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/hid-sensor-custom.c hid_sensor_custom_get_known() -> hid_sensor_custom_do_match()

Type Parameter Key Value
PARAM_VALUE 0 hsdev 4096-ptr_max
PARAM_VALUE 0 hsdev->end_collection_index s32min-(-1),1-s32max
PARAM_VALUE 0 hsdev->hdev->bpf.srcu.dep_map->name 0-255
PARAM_VALUE 0 hsdev->hdev->driver_data->client_data->hid_ishtp_cl->err_send_msg 0-4294967295
PARAM_VALUE 0 hsdev->hdev->driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hsdev->hdev->driver_input_lock.first_waiter->up 0-1
PARAM_VALUE 1 match 6829197859687989248-ptr_max
PARAM_VALUE 1 match->manufacturer 0,4096-ptr_max
PARAM_VALUE 1 match->model 0,4096-ptr_max
PARAM_VALUE 1 match->tag 2159505181602537472,6664800375524515840
PARAM_VALUE 2 prop 4096-ptr_max
PARAM_VALUE 2 *prop->manufacturer 0-u16max
PARAM_VALUE 2 *prop->model 0-u16max
PARAM_VALUE 2 *prop->serial_num 0-u16max
BUF_SIZE 0 hsdev 1-s32max
BUF_SIZE 0 hsdev 1-s32max
BUF_SIZE 1 match (-1),1536
BUF_SIZE 1 match (-1),1536
BUF_SIZE 2 prop 384
CAPPED_DATA 0 hsdev->hdev 1
CAPPED_DATA 0 hsdev->start_collection_index 1
CAPPED_DATA 0 hsdev->usage 1
DATA_SOURCE 0 hsdev $0
DATA_SOURCE 2 prop r _kmalloc_noprof
PARAM_COMPARE 0 hsdev->end_collection_index > $0->start_collection_index
RX_PATH
TASK_NOT_RUNNING