Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/fjes/fjes_hw.c fjes_hw_setup() -> fjes_hw_alloc_shared_status_region()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->back 4096-ptr_max
PARAM_VALUE 0 hw->ep_shm_info 4096-ptr_max
PARAM_VALUE 0 hw->hw_info.lock.dep_map->name 0-255
PARAM_VALUE 0 hw->hw_info.lock.first_waiter 0
PARAM_VALUE 0 hw->hw_info.lock.magic 4096-ptr_max
PARAM_VALUE 0 hw->hw_info.lock.osq.tail.counter 0
PARAM_VALUE 0 hw->hw_info.lock.owner.counter 0
PARAM_VALUE 0 hw->hw_info.max_epid 4096-ptr_max
PARAM_VALUE 0 hw->hw_info.my_epid 4096-ptr_max
PARAM_VALUE 0 hw->hw_info.req_buf 4096-ptr_max
PARAM_VALUE 0 hw->hw_info.req_buf_size 32808
PARAM_VALUE 0 hw->hw_info.res_buf 16,4096-ptr_max
PARAM_VALUE 0 hw->hw_info.res_buf_size 0-4000000
PARAM_VALUE 0 hw->hw_res.irq 1-s32max
PARAM_VALUE 0 hw->max_epid (-2147483647)-(-1),1-s32max
PARAM_VALUE 0 hw->my_epid s32min-2147483646
PARAM_VALUE 0 *hw->hw_info.max_epid (-2147483647)-(-1),1-s32max
PARAM_VALUE 0 *hw->hw_info.my_epid s32min-2147483646
BUF_SIZE 0 hw->ep_shm_info 0-u64max
BUF_SIZE 0 hw->hw_info.max_epid 4
BUF_SIZE 0 hw->hw_info.my_epid 4
BUF_SIZE 0 hw->hw_info.req_buf 32808
BUF_SIZE 0 hw->hw_info.res_buf 0-s32max,18446744071562067968-u64max
CAPPED_DATA 0 hw->my_epid 1
CAPPED_DATA 0 *hw->hw_info.my_epid 1
DATA_SOURCE 0 hw $0
CONSTRAINT 0 hw <4124
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 hw->max_epid