Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/chip.c handle_verify_cap() -> adjust_lcb_for_fpga_serdes()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
NOCHECK_CALL
HOST_DATA 0 dd->lcb_err_en 0-u64max
HALF_LOCKED2 &pool->lock