Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/ixgbe/ixgbe_x550.c ixgbe_calc_checksum_X550() -> ixgbe_checksum_ptr_x550()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->eeprom.type 1-u32max
PARAM_VALUE 0 hw->eeprom.word_size 2-u16max
PARAM_VALUE 1 ptr 1-65534
PARAM_VALUE 2 size 0,8,36
PARAM_VALUE 3 csum 9098320815233880064
PARAM_VALUE 4 buffer 0
PARAM_VALUE 5 buffer_size 0
BUF_SIZE 0 hw->eeprom.ops.read (-1),8
CAPPED_DATA 1 ptr 1
DATA_SOURCE 0 hw $0
DATA_SOURCE 4 buffer $1
DATA_SOURCE 5 buffer_size $2
FUZZY_MAX 2 size 36
PARAM_COMPARE 0 hw->eeprom.word_size > $1
PARAM_COMPARE 1 ptr < $0->eeprom.word_size
BIT_INFO 2 size 0x0,0x2c
HARD_MAX 2 size 36
RX_PATH
TASK_NOT_RUNNING