Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/fpga/zynq-fpga.c zynq_fpga_ops_write_init() -> zynq_fpga_has_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | buf | (-1),1-s32max |
| BUF_SIZE | 0 | buf | (-1),1-s32max |
| DATA_SOURCE | 0 | buf | $2 |
| DATA_SOURCE | 1 | count | $3 |
| USER_DATA | 1 | count | 1-u32max[c] |
| USER_PTR | 0 | buf | |
| HALF_LOCKED2 | &mgr->ref_mutex | ||
| HALF_LOCKED2 | ®ion->mutex |