| PARAM_VALUE |
0 |
cq |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->buf.umem |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->cqe_size |
64,128 |
| PARAM_VALUE |
0 |
cq->db.u.user_page |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->db.u.user_page->desc.type |
0-1 |
| PARAM_VALUE |
0 |
cq->list_recv_qp.next |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->list_recv_qp.next->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->list_recv_qp.prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->list_recv_qp.prev->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->list_recv_qp.prev->prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->list_send_qp.next |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->list_send_qp.next->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->list_send_qp.prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->list_send_qp.prev->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->list_send_qp.prev->prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->mcq->dbg->root->d_inode->i_sb->s_fs_info->s_first_error_func |
0-255 |
| PARAM_VALUE |
0 |
cq->mcq->dbg->root->d_inode->i_sb->s_fs_info->s_last_error_func |
0-255 |
| PARAM_VALUE |
0 |
cq->mcq.eq->core.cq_table.tree.xa_flags |
0-4294967295 |
| PARAM_VALUE |
0 |
cq->mcq.event |
3764342458696486912 |
| PARAM_VALUE |
0 |
cq->resize_mutex.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
cq->resize_mutex.first_waiter |
0 |
| PARAM_VALUE |
0 |
cq->resize_mutex.magic |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->resize_mutex.osq.tail.counter |
0 |
| PARAM_VALUE |
0 |
cq->resize_mutex.owner.counter |
0 |
| PARAM_VALUE |
0 |
cq->wc_list.next |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->wc_list.next->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->wc_list.prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->wc_list.prev->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
cq->wc_list.prev->prev |
4096-ptr_max |
| PARAM_VALUE |
1 |
udata |
4096-ptr_max |
| PARAM_VALUE |
1 |
udata->inlen |
0-64 |
| PARAM_VALUE |
1 |
udata->outlen |
0-524280,18446744073709551361-u64max |
| BUF_SIZE |
1 |
udata |
32 |
| CAPPED_DATA |
0 |
cq->ibcq.cqe |
1 |
| CAPPED_DATA |
1 |
udata->inlen |
1 |
| CAPPED_DATA |
1 |
udata->outlen |
1 |
| DATA_SOURCE |
0 |
cq |
r to_mcq |
| NOSPEC |
1 |
udata->inlen |
|
| NOSPEC |
1 |
udata->outlen |
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
cq->buf.umem->address |
0-u64max[c] |
| USER_DATA |
0 |
cq->buf.umem->length |
0,8-u64max |
| USER_DATA |
0 |
cq->buf.umem->sgt_append.prv->length |
0-u32max[c] |
| USER_DATA |
0 |
cq->buf.umem->sgt_append.prv->offset |
0-4095[c] |
| USER_DATA |
0 |
cq->buf.umem->writable |
0-1[c] |
| USER_DATA |
0 |
cq->db.u.user_page->desc.addr |
s64min-s64max |
| USER_DATA |
0 |
cq->db.u.user_page->desc.fd |
s32min-s32max |
| USER_DATA |
0 |
cq->db.u.user_page->desc.flags |
0-4294967295 |
| USER_DATA |
0 |
cq->db.u.user_page->desc.length |
s64min-s64max |
| USER_DATA |
0 |
cq->db.u.user_page->desc.optional_flags |
0-4294967295 |
| USER_DATA |
0 |
cq->db.u.user_page->desc.type |
0 |
| USER_DATA |
1 |
udata->inlen |
0-64[c] |
| USER_DATA |
1 |
udata->outlen |
0-524280,18446744073709551361-u64max[c] |
