Defined in 3 files as a function:
- drivers/md/dm-mpath.c, line 924 (as a function)
- drivers/md/dm-switch.c, line 205 (as a function)
- samples/landlock/sandboxer.c, line 91 (as a function)
Referenced in 3 files:
- drivers/md/dm-mpath.c, line 1042
- drivers/md/dm-switch.c, line 298
- samples/landlock/sandboxer.c, line 142
Smatch caller information:
drivers/md/dm-mpath.c parse_priority_group() -> parse_path()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | as | 1346710635950157824 |
| PARAM_VALUE | 0 | as->argv | 0-18446744073709547521 |
| PARAM_VALUE | 1 | ps | 4096-ptr_max |
| PARAM_VALUE | 1 | ps->context | 4096-ptr_max |
| PARAM_VALUE | 1 | ps->type | 4096-ptr_max |
| PARAM_VALUE | 2 | ti | 4096-ptr_max |
| PARAM_VALUE | 2 | ti->accounts_remapped_io | 0 |
| PARAM_VALUE | 2 | ti->discards_supported | 0 |
| PARAM_VALUE | 2 | ti->emulate_zone_append | 0 |
| PARAM_VALUE | 2 | ti->error | 6178336389065121792 |
| PARAM_VALUE | 2 | ti->flush_bypasses_map | 0 |
| PARAM_VALUE | 2 | ti->flush_supported | 0 |
| PARAM_VALUE | 2 | ti->len | 1-u64max |
| PARAM_VALUE | 2 | ti->limit_swap_bios | 0 |
| PARAM_VALUE | 2 | ti->max_discard_granularity | 0 |
| PARAM_VALUE | 2 | ti->max_io_len | 0 |
| PARAM_VALUE | 2 | ti->mempool_needs_integrity | 0 |
| PARAM_VALUE | 2 | ti->needs_bio_set_dev | 0 |
| PARAM_VALUE | 2 | ti->num_discard_bios | 0 |
| PARAM_VALUE | 2 | ti->num_flush_bios | 0 |
| PARAM_VALUE | 2 | ti->num_secure_erase_bios | 0 |
| PARAM_VALUE | 2 | ti->num_write_zeroes_bios | 0 |
| PARAM_VALUE | 2 | ti->per_io_data_size | 0 |
| PARAM_VALUE | 2 | ti->private | 0 |
| PARAM_VALUE | 2 | ti->private->hw_handler_params | 0 |
| PARAM_VALUE | 2 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 2 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 2 | ti->zone_reset_all_supported | 0 |
| PARAM_VALUE | 2 | *ti->error | 0-255 |
| CAPPED_DATA | 2 | ti->begin | 1 |
| STR_LEN | 2 | ti->error | 13 |
| TERMINATED | 2 | ti->error | 1 |
| NO_OVERFLOW_SIMPLE | 2 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 2 | ti->len | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-switch.c switch_ctr() -> parse_path()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | as | 7004041591931838464 |
| PARAM_VALUE | 0 | as->argc | 1-s32max |
| PARAM_VALUE | 0 | as->argv | 4097-18446744073709547521 |
| PARAM_VALUE | 1 | ps | 4096-ptr_max |
| PARAM_VALUE | 1 | ps->error | 6178336389065121792 |
| PARAM_VALUE | 1 | ps->len | 1-u64max |
| PARAM_VALUE | 1 | ps->private | 4096-ptr_max |
| PARAM_VALUE | 1 | ps->table | 4096-ptr_max |
| PARAM_VALUE | 1 | ps->table->mode | 1,3 |
| PARAM_VALUE | 1 | ps->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 1 | ps->table->num_targets | 0-1048575 |
| PARAM_VALUE | 1 | ps->table->type | 0 |
| PARAM_VALUE | 1 | ps->type | 4096-ptr_max |
| PARAM_VALUE | 1 | ps->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ps->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | ps->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | *ps->error | 0-255 |
| BUF_SIZE | 1 | ps->error | 14 |
| CAPPED_DATA | 1 | ps->begin | 1 |
| CAPPED_DATA | 1 | ps->table->num_targets | 1 |
| CAPPED_DATA | 1 | ps->type | 1 |
| DATA_SOURCE | 1 | ps | $0 |
| STR_LEN | 1 | ps->error | 13 |
| TERMINATED | 1 | ps->error | 1 |
| MEM_ZERO | 1 | ps | |
| NO_OVERFLOW_SIMPLE | 1 | ps->begin | |
| NO_OVERFLOW_SIMPLE | 1 | ps->len | |
| NO_OVERFLOW_SIMPLE | 1 | ps->max_io_len | |
| NO_OVERFLOW_SIMPLE | 1 | ps->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |