Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/fpga/xilinx-core.c xilinx_core_write() -> (struct xilinx_fpga_core)->write()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
BUF_SIZE 0 core 4,8,16,24,48,112,120,216
BUF_SIZE 0 core 4,8,16,24,48,112,120,216
BUF_SIZE 1 buf (-1),1-s32max
BUF_SIZE 1 buf (-1),1-s32max
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
CONTAINER 0 -8+0 $(-1)
USER_DATA 2 count 0-4294990751,18446744073709550596-u64max
NO_OVERFLOW_SIMPLE 2 count
USER_PTR 1 buf
HALF_LOCKED2 &mgr->ref_mutex
HALF_LOCKED2 &region->mutex

drivers/fpga/xilinx-core.c xilinx_core_write_complete() -> (struct xilinx_fpga_core)->write()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 1
BUF_SIZE 0 core 4,8,16,24,48,112,120,216
BUF_SIZE 0 core 4,8,16,24,48,112,120,216
CONTAINER 0 -8+0 $(-1)
HALF_LOCKED2 &mgr->ref_mutex
HALF_LOCKED2 &region->mutex