Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx4/alias_GUID.c get_next_record_to_update() -> set_required_record()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 2 | next_rec | 4096-ptr_max |
| PARAM_VALUE | 3 | record_index | 0-s32max |
| BUF_SIZE | 2 | next_rec | 128 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | port | $1 |
| DATA_SOURCE | 2 | next_rec | $2 |
| DATA_SOURCE | 3 | record_index | r get_low_record_time_index |
| BIT_INFO | 3 | record_index | 0x0,0xf |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &dev->sriov.alias_guid.ag_work_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mlx4_sriov_alias_guid)->ag_work_lock |