Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_write_counter() -> (struct vcap_operations)->cache_write()

Type Parameter Key Value
PARAM_VALUE 1 admin 4096-ptr_max
PARAM_VALUE 1 admin->cache.counter 0,101
PARAM_VALUE 2 sel 4
PARAM_VALUE 4 count 0
CONTAINER 0 *(-24-0-112+104) $(-1)
CONTAINER 1 *(-24-0-112+96) $(-1)
CONTAINER 3 *(-24-0-112+148) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &admin->vctrl->lock
HALF_LOCKED2 &ri->admin->vctrl->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_write_rule() -> (struct vcap_operations)->cache_write()

Type Parameter Key Value
PARAM_VALUE 1 admin 4096-ptr_max
PARAM_VALUE 2 sel 1
PARAM_VALUE 4 count 1-u32max
CONTAINER 0 *(-24-0-112+104) $(-1)
CONTAINER 1 *(-24-0-112+96) $(-1)
CONTAINER 4 *(-24-0-112+132) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &admin->vctrl->lock
HALF_LOCKED2 &ri->admin->vctrl->lock

drivers/net/ethernet/microchip/vcap/vcap_api.c vcap_write_rule() -> (struct vcap_operations)->cache_write()

Type Parameter Key Value
PARAM_VALUE 1 admin 4096-ptr_max
PARAM_VALUE 2 sel 2
PARAM_VALUE 4 count 1-u32max
CONTAINER 0 *(-24-0-112+104) $(-1)
CONTAINER 1 *(-24-0-112+96) $(-1)
CONTAINER 4 *(-24-0-112+136) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &admin->vctrl->lock
HALF_LOCKED2 &ri->admin->vctrl->lock