Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/hid-core.c hid_input_array_field() -> hid_array_value_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 field 4096-ptr_max
DATA_SOURCE 0 field $1
BIT_INFO 0 field->flags 0x0,0xfffffffd
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hid->dev.driver_data->dyn_callback_lock
HALF_LOCKED2 &hid->dev.driver_data->lock
HALF_LOCKED2 &hid->dev.driver_data->mutex
HALF_LOCKED2 &hid->driver_data->mutex
HALF_LOCKED2 &hid->driver_input_lock
HALF_LOCKED2 &hid->ll_open_lock

drivers/hid/hid-core.c hid_input_array_field() -> hid_array_value_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 field 4096-ptr_max
CAPPED_DATA 0 field->logical_minimum 1
DATA_SOURCE 0 field $1
BIT_INFO 0 field->flags 0x0,0xfffffffd
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hid->dev.driver_data->dyn_callback_lock
HALF_LOCKED2 &hid->dev.driver_data->lock
HALF_LOCKED2 &hid->dev.driver_data->mutex
HALF_LOCKED2 &hid->driver_data->mutex
HALF_LOCKED2 &hid->driver_input_lock
HALF_LOCKED2 &hid->ll_open_lock

drivers/hid/hid-core.c hid_input_fetch_field() -> hid_array_value_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 field 4096-ptr_max
PARAM_VALUE 1 value 0-s32max
DATA_SOURCE 0 field $1
BIT_INFO 0 field->flags 0x0,0xfffffffd
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hid->dev.driver_data->dyn_callback_lock
HALF_LOCKED2 &hid->dev.driver_data->lock
HALF_LOCKED2 &hid->dev.driver_data->mutex
HALF_LOCKED2 &hid->driver_data->mutex
HALF_LOCKED2 &hid->driver_input_lock
HALF_LOCKED2 &hid->ll_open_lock