Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/meta/fbnic/fbnic_csr.c fbnic_csr_regs_test() -> fbnic_csr_reg_pattern_test()

Type Parameter Key Value
PARAM_VALUE 0 fbd->mac->get_link 4096-ptr_max
PARAM_VALUE 0 fbd->mac->get_sensor 4096-ptr_max
PARAM_VALUE 0 fbd->mac->init_regs 4096-ptr_max
PARAM_VALUE 0 fbd->mac->link_down 4096-ptr_max
PARAM_VALUE 0 fbd->mac->link_up 4096-ptr_max
PARAM_VALUE 0 fbd->mac->prepare 4096-ptr_max
PARAM_VALUE 1 index 0-63
PARAM_VALUE 2 test_data 6913855066734206976-6913855066734207091
PARAM_VALUE 2 test_data->array_len 64
BUF_SIZE 2 test_data (-1),464
BUF_SIZE 2 test_data (-1),464
DATA_SOURCE 0 fbd $0
PARAM_COMPARE 1 index < $2->array_len