Open Menu /

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_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
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
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock

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

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
CAPPED_DATA 0 admin->first_cid 1
DATA_SOURCE 0 admin r vcap_find_admin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
DATA_SOURCE 0 admin $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
CAPPED_DATA 0 admin->first_cid 1
PARAM_COMPARE 0 admin->first_cid <= $0->last_cid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
PARAM_VALUE 0 admin->last_cid (-2147483647)-s32max
CAPPED_DATA 0 admin->first_cid 1
DATA_SOURCE 0 admin r vcap_find_admin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 admin 4096-ptr_max
CAPPED_DATA 0 admin->first_cid 1
PARAM_COMPARE 0 admin->first_cid <= $0->last_cid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock

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

Type Parameter Key Value
NOCHECK_CALL

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

Type Parameter Key Value
NOCHECK_CALL

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock