| PARAM_VALUE |
0 |
p_hwfn |
4096-ptr_max |
| PARAM_VALUE |
0 |
p_hwfn->cdev |
4096-ptr_max |
| PARAM_VALUE |
0 |
p_hwfn->cdev->recov_in_prog |
0 |
| PARAM_VALUE |
0 |
p_hwfn->p_ptt_pool |
4096-ptr_max |
| PARAM_VALUE |
0 |
p_hwfn->p_ptt_pool->lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
p_hwfn->slowpath_wq_active |
1 |
| PARAM_VALUE |
1 |
p_ptt |
4096-ptr_max |
| DATA_SOURCE |
1 |
p_ptt |
r qed_ptt_acquire |
| PARAM_COMPARE |
0 |
&p_hwfn->p_ptt_pool->free_list |
!= $0->p_ptt_pool->free_list.next |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
p_hwfn->mcp_info->drv_mb_seq |
0-u16max |
| HOST_DATA |
0 |
p_hwfn->mcp_info->drv_pulse_seq |
0-s16max |
| HOST_DATA |
0 |
p_hwfn->mcp_info->mcp_hist |
0-u32max |
| HALF_LOCKED2 |
|
&pool->lock |
|
