Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/typec/mux/wcd939x-usbss.c wcd939x_usbss_mux_set() -> wcd939x_usbss_set()

Type Parameter Key Value
PARAM_VALUE 0 usbss 4096-ptr_max
PARAM_VALUE 0 usbss->lock.dep_map->name 0-255
PARAM_VALUE 0 usbss->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 usbss->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 usbss->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 usbss->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 usbss->lock.wait_lock.owner (-1)
PARAM_VALUE 0 usbss->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 usbss->mode 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 usbss->svid 0-u16max
BUF_SIZE 0 usbss s32min-(-2),1-s32max
BUF_SIZE 0 usbss s32min-(-2),1-s32max
CAPPED_DATA 0 usbss->mode 1
CAPPED_DATA 0 &usbss->lock 1
DATA_SOURCE 0 usbss r typec_mux_get_drvdata
FUZZY_MAX 0 usbss->svid 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &usbss->lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct wcd939x_usbss)->lock

drivers/usb/typec/mux/wcd939x-usbss.c wcd939x_usbss_probe() -> wcd939x_usbss_set()

Type Parameter Key Value
PARAM_VALUE 0 usbss 4096-ptr_max
PARAM_VALUE 0 usbss->client 4096-ptr_max
PARAM_VALUE 0 usbss->client->adapter 4096-ptr_max
PARAM_VALUE 0 usbss->client->debugfs 4096-u64max
PARAM_VALUE 0 usbss->client->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 usbss->client->devres_group_id 4096-ptr_max
PARAM_VALUE 0 usbss->codec 0,4096-ptr_max
PARAM_VALUE 0 usbss->codec->num_mux_devs 1-s32max
PARAM_VALUE 0 usbss->codec_switch 0,4096-ptr_max
PARAM_VALUE 0 usbss->codec_switch->num_sw_devs 1-s32max
PARAM_VALUE 0 usbss->lock.dep_map->name 0-255
PARAM_VALUE 0 usbss->lock.first_waiter 0
PARAM_VALUE 0 usbss->lock.magic 4096-ptr_max
PARAM_VALUE 0 usbss->lock.osq.tail.counter 0
PARAM_VALUE 0 usbss->lock.owner.counter 0
PARAM_VALUE 0 usbss->mode 0
PARAM_VALUE 0 usbss->orientation 0
PARAM_VALUE 0 usbss->regmap 4096-ptr_max
PARAM_VALUE 0 usbss->regmap->async 0
PARAM_VALUE 0 usbss->regmap->cache->cached_rbnode->blklen 1-4294967295
PARAM_VALUE 0 usbss->regmap->cache_dirty 1
PARAM_VALUE 0 usbss->reset_gpio 0,4096-ptr_max
PARAM_VALUE 0 usbss->vdd_supply 4096-ptr_max
PARAM_VALUE 0 usbss->vdd_supply->enable_count 0-4294967295
PARAM_VALUE 0 usbss->vdd_supply->rdev 4096-ptr_max
PARAM_VALUE 0 usbss->vdd_supply->rdev->ena_gpio_state 1
PARAM_VALUE 0 usbss->vdd_supply->rdev->ena_pin->enable_count 0-4294967295
PARAM_VALUE 0 usbss->vdd_supply->rdev->notifier.head->priority s32min-s32max
PARAM_VALUE 0 usbss->vdd_supply->rdev->reg_data->load 0-4294967295
PARAM_VALUE 0 usbss->vdd_supply->rdev->reg_data->load_updated 0-1
PARAM_VALUE 0 usbss->vdd_supply->rdev->reg_data->lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 usbss->vdd_supply->rdev->reg_data->lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 usbss->vdd_supply->rdev->reg_data->lock.dep_map->name 0-255
PARAM_VALUE 0 usbss->vdd_supply->rdev->reg_data->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 usbss->vdd_supply->rdev->reg_data->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 usbss->vdd_supply->rdev->regmap->async 0-1
PARAM_VALUE 0 usbss->vdd_supply->rdev->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 usbss->vdd_supply->rdev->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 usbss->vdd_supply->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 usbss->vdd_supply->rdev->regmap->cache_dirty 0-1
PARAM_VALUE 0 usbss->vdd_supply->rdev->supply->enable_count 0-4294967295
PARAM_VALUE 0 usbss->vdd_supply->rdev->use_count 0-4294967295
PARAM_VALUE 0 *usbss->regmap->cache->data 0-4294967295
BUF_SIZE 0 usbss 240
BUF_SIZE 0 usbss->codec (-1),32
BUF_SIZE 0 usbss->codec_switch (-1),32
BUF_SIZE 0 usbss->reset_gpio s32min-(-1),1-s32max
BUF_SIZE 0 usbss->vdd_supply s32min,(-1)-s32max
CAPPED_DATA 0 usbss->client->irq 1
CAPPED_DATA 0 usbss->regmap->rd_table->n_no_ranges 1
CAPPED_DATA 0 usbss->regmap->rd_table->n_yes_ranges 1
CAPPED_DATA 0 usbss->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 usbss->regmap->volatile_table->n_yes_ranges 1
CAPPED_DATA 0 usbss->regmap->wr_table->n_no_ranges 1
CAPPED_DATA 0 usbss->regmap->wr_table->n_yes_ranges 1
CAPPED_DATA 0 usbss->reset_gpio 1
CAPPED_DATA 0 usbss->vdd_supply->rdev 1
CAPPED_DATA 0 usbss->vdd_supply->rdev->coupling_desc.n_coupled 1
DATA_SOURCE 0 usbss r devm_kzalloc
MEM_ZERO 0 usbss
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 usbss->client->irq

drivers/usb/typec/mux/wcd939x-usbss.c wcd939x_usbss_switch_set() -> wcd939x_usbss_set()

Type Parameter Key Value
PARAM_VALUE 0 usbss 4096-ptr_max
PARAM_VALUE 0 usbss->lock.dep_map->name 0-255
PARAM_VALUE 0 usbss->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 usbss->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 usbss->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 usbss->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 usbss->lock.wait_lock.owner (-1)
PARAM_VALUE 0 usbss->lock.wait_lock.owner_cpu u32max
BUF_SIZE 0 usbss s32min-(-2),1-s32max
BUF_SIZE 0 usbss s32min-(-2),1-s32max
CAPPED_DATA 0 &usbss->lock 1
DATA_SOURCE 0 usbss r typec_switch_get_drvdata
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &usbss->lock
HALF_LOCKED2 &info->mutex
TYPE_LOCK (struct wcd939x_usbss)->lock