Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/irdma/pble.c add_pble_prm() -> add_sd_direct()

Type Parameter Key Value
PARAM_VALUE 0 pble_rsrc 4096-ptr_max
PARAM_VALUE 0 pble_rsrc->dev 4096-ptr_max
PARAM_VALUE 0 pble_rsrc->pble_mutex_lock.dep_map->name 0-255
PARAM_VALUE 0 pble_rsrc->pble_mutex_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pble_rsrc->pble_mutex_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pble_rsrc->pinfo.pble_shift 6
PARAM_VALUE 0 pble_rsrc->unallocated_pble 512-u32max
PARAM_VALUE 1 info 9140232821535150080
PARAM_VALUE 1 info->chunk 4096-ptr_max
PARAM_VALUE 1 info->idx.rel_pd_idx 0-511
PARAM_VALUE 1 info->pages 1-512
PARAM_VALUE 1 info->sd_entry 4096-ptr_max
DATA_SOURCE 0 pble_rsrc $0
FUZZY_MAX 0 pble_rsrc->unallocated_pble 512
BIT_INFO 0 pble_rsrc->next_fpm_addr 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &pble_rsrc->pble_mutex_lock