Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/broadcom/tg3.c tg3_nvram_write_block() -> tg3_nvram_write_block_using_eeprom()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->tg3_flags 4096-ptr_max
PARAM_VALUE 2 len 0-4100
PARAM_VALUE 3 buf 16,4096-ptr_max
BUF_SIZE 3 buf 0,4-4100
BUF_SIZE 3 buf 0,4-4100
DATA_SOURCE 0 tp $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 len $2
DATA_SOURCE 3 buf $3
FUZZY_MAX 2 len 4
PARAM_COMPARE 3 buf == $2
BIT_INFO 2 len 0x0,0x1ffc
NOSPEC 1 offset
NOSPEC 1 offset
HOST_DATA 3 *buf 0-255
USER_DATA 1 offset 0-2147487742[c]
USER_DATA 2 len 0-4100[c]
USER_DATA 3 *buf 0-255
NO_OVERFLOW_SIMPLE 1 offset
NO_OVERFLOW_SIMPLE 2 len
UNITS 1 offset unit_byte
UNITS 2 len unit_byte
BYTE_COUNT 3 ==buf2 8050
USER_PTR 3 buf
HALF_LOCKED2 global &rtnl_mutex