| PARAM_VALUE |
0 |
tbl |
4096-ptr_max |
| PARAM_VALUE |
0 |
tbl->slot_tbl_lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
tbl->slots |
1-u64max |
| PARAM_VALUE |
0 |
*tbl->slots->privileged |
0-1 |
| PARAM_VALUE |
0 |
*tbl->slots->seq_done |
0-1 |
| PARAM_VALUE |
0 |
*tbl->slots->seq_nr |
0-4294967295 |
| PARAM_VALUE |
0 |
*tbl->slots->seq_nr_highest_sent |
0-4294967295 |
| PARAM_VALUE |
0 |
*tbl->slots->slot_nr |
0-4294967295 |
| PARAM_VALUE |
1 |
slot |
4096-ptr_max |
| PARAM_VALUE |
2 |
args |
4096-ptr_max |
| PARAM_VALUE |
2 |
args->csa_addr->sa_family |
2,10 |
| BUF_SIZE |
0 |
tbl |
808 |
| BUF_SIZE |
1 |
slot |
(-1),48 |
| BUF_SIZE |
1 |
slot |
(-1),48 |
| BUF_SIZE |
2 |
args |
1-s32max |
| BUF_SIZE |
2 |
args |
1-s32max |
| CAPPED_DATA |
1 |
slot->slot_nr |
1 |
| CAPPED_DATA |
2 |
args->csa_slotid |
1 |
| DATA_SOURCE |
1 |
slot |
r nfs4_lookup_slot |
| DATA_SOURCE |
2 |
args |
$0 |
| PARAM_COMPARE |
2 |
args->csa_slotid |
<= $0->max_slotid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| LOCK2 |
0 |
&tbl->slot_tbl_lock |
|
| TYPE_LOCK |
|
(struct nfs4_slot_table)->slot_tbl_lock |
|
