Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_add_rule() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_admin_rule_count() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 admin->vtype 1-u32max
CAPPED_DATA 0 admin->first_cid 1
CAPPED_DATA 0 &admin->rules 1
DATA_SOURCE 0 admin $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_alloc_rule() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
CAPPED_DATA 0 admin->first_cid 1
CAPPED_DATA 0 admin->first_valid_addr 1
DATA_SOURCE 0 admin r vcap_find_admin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_alloc_rule() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
CAPPED_DATA 0 admin->first_cid 1
DATA_SOURCE 0 admin r vcap_find_admin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_del_rule() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
CAPPED_DATA 0 &admin->rules 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &admin->vctrl->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_del_rules() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
CAPPED_DATA 0 &admin->enabled 1
CAPPED_DATA 0 &admin->rules 1
DATA_SOURCE 0 admin $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_disable() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_disable_rules() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
CAPPED_DATA 0 admin->first_cid 1
CAPPED_DATA 0 &admin->rules 1
PARAM_COMPARE 0 admin->first_cid <= $0->last_cid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_enable() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->enabled.prev 4096-ptr_max
PARAM_VALUE 0 admin->enabled.prev->next 4096-ptr_max
PARAM_VALUE 0 admin->enabled.prev->next->next 4096-ptr_max
PARAM_VALUE 0 admin->last_cid (-2147483647)-s32max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
CAPPED_DATA 0 admin->first_cid 1
DATA_SOURCE 0 admin r vcap_find_admin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_enable_rules() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
CAPPED_DATA 0 admin->first_cid 1
CAPPED_DATA 0 &admin->rules 1
PARAM_COMPARE 0 admin->first_cid <= $0->last_cid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_get_locked_rule() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
CAPPED_DATA 0 &admin->rules 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_get_rule() -> vcap_unlock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &admin->vctrl->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_get_rule_count_by_cookie() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
CAPPED_DATA 0 &admin->rules 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_get_rule_count_by_cookie() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
CAPPED_DATA 0 &admin->rules 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_lookup_rule_by_cookie() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
CAPPED_DATA 0 &admin->rules 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_mod_rule() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin->cache.counter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &admin->vctrl->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_rule_get_counter() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
NOCHECK_CALL
HOST_DATA 0 admin->cache.counter 0-u32max
HOST_DATA 0 admin->cache.sticky 0-1
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_rule_set_counter() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->cache.counter 0,101
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
NOCHECK_CALL
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api_debugfs.c vcap_debugfs_show() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &m->lock
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct seq_file)->lock
TYPE_LOCK (struct vcap_control)->lock

drivers/net/ethernet/microchip/vcap/vcap_api_debugfs.c vcap_raw_debugfs_show() -> vcap_unlock()

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->vctrl->lock.dep_map->name 0-255
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 admin->vctrl->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 admin->vctrl->lock.osq.tail.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 admin->cache.counter 0-u32max
HOST_DATA 0 admin->cache.sticky 0-1
LOCK2 &m->lock
LOCK2 0 &admin->vctrl->lock
TYPE_LOCK (struct seq_file)->lock
TYPE_LOCK (struct vcap_control)->lock