Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/fpga/tests/fpga-mgr-test.c fpga_mgr_test_lock() -> fpga_mgr_unlock()

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 0 &mgr->ref_mutex

drivers/fpga/fpga-region.c fpga_region_program_fpga() -> fpga_mgr_unlock()

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
PARAM_VALUE 0 mgr->mops 4096-ptr_max
PARAM_VALUE 0 mgr->mops->initial_header_size 0,71,128,920
PARAM_VALUE 0 mgr->priv->clk->core->enable_count 0-4294967295
PARAM_VALUE 0 mgr->priv->dma_elm 0-4294967295
PARAM_VALUE 0 mgr->priv->image_match 0-1
PARAM_VALUE 0 mgr->state 14
NOCHECK_CALL
LOCK2 &region->mutex
LOCK2 0 &mgr->ref_mutex
HALF_LOCKED2 &fdata->lock
TYPE_LOCK (struct fpga_manager)->ref_mutex
TYPE_LOCK (struct fpga_region)->mutex

drivers/fpga/fpga-region.c fpga_region_program_fpga() -> fpga_mgr_unlock()

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
PARAM_VALUE 0 mgr->mops->initial_header_size 0,71,128,920
NOCHECK_CALL
LOCK2 &region->mutex
LOCK2 0 &mgr->ref_mutex
HALF_LOCKED2 &fdata->lock
TYPE_LOCK (struct fpga_manager)->ref_mutex
TYPE_LOCK (struct fpga_region)->mutex