Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/broadcom/bnx2x/bnx2x_main.c bnx2x_write_big_buf() -> bnx2x_write_dmae_phys_len()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->dmae_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bp->dmae_ready s32min-(-1),1-s32max
PARAM_VALUE 0 bp->init_ops 4096-ptr_max
PARAM_VALUE 0 bp->init_ops_offsets 4096-ptr_max
PARAM_VALUE 0 bp->slowpath 4096-ptr_max
PARAM_VALUE 0 bp->slowpath->wb_comp 0
PARAM_VALUE 0 bp->slowpath->wb_data 4096-ptr_max
PARAM_VALUE 3 len 0-8192
CAPPED_DATA 3 len 1
DATA_SOURCE 0 bp $0
DATA_SOURCE 2 addr $1
DATA_SOURCE 3 len $2
NOCHECK_CALL

drivers/net/ethernet/broadcom/bnx2x/bnx2x_main.c bnx2x_write_big_buf_wb() -> bnx2x_write_dmae_phys_len()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->dmae_ready s32min-(-1),1-s32max
PARAM_VALUE 0 *bp->dev->name 0-255
PARAM_VALUE 2 addr 0-16777215
PARAM_VALUE 3 len 0-536870911,3758096384-u32max
CAPPED_DATA 3 len 1
DATA_SOURCE 0 bp $0
DATA_SOURCE 2 addr $1
DATA_SOURCE 3 len $2
BIT_INFO 3 len 0x0,0x1fffffff
NOCHECK_CALL
UNITS 3 len unit_byte