Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/fpga/fpga-mgr.c, line 584
- drivers/fpga/fpga-region.c, line 133
- drivers/fpga/tests/fpga-mgr-test.c
Smatch caller information:
drivers/fpga/tests/fpga-mgr-test.c fpga_mgr_test_img_load_buf() -> fpga_mgr_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | info | 4096-ptr_max |
| PARAM_VALUE | 1 | info->buf | 16,4096-ptr_max |
| PARAM_VALUE | 1 | info->count | 4096 |
| BUF_SIZE | 1 | info->buf | 4096 |
drivers/fpga/tests/fpga-mgr-test.c fpga_mgr_test_img_load_sgt() -> fpga_mgr_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | info | 4096-ptr_max |
| PARAM_VALUE | 1 | info->sgt | 4096-ptr_max |
| PARAM_VALUE | 1 | info->sgt->nents | 0 |
| BUF_SIZE | 1 | info->sgt | 16 |
drivers/fpga/fpga-region.c fpga_region_program_fpga() -> fpga_mgr_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mgr | 4096-ptr_max |
| PARAM_VALUE | 1 | info | 1-ptr_max |
| BUF_SIZE | 1 | info | (-1),88 |
| BUF_SIZE | 1 | info | (-1),88 |
| NOSPEC | 1 | info->region_id | |
| USER_DATA | 1 | info->count | 0,4-u32max[c] |
| USER_DATA | 1 | info->region_id | 1-s32max[c] |
| USER_PTR | 1 | info->buf | |
| LOCK2 | ®ion->mutex | ||
| LOCK2 | 0 | &mgr->ref_mutex | |
| HALF_LOCKED2 | &fdata->lock | ||
| TYPE_LOCK | (struct fpga_manager)->ref_mutex | ||
| TYPE_LOCK | (struct fpga_region)->mutex |