Defined in 2 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ceph/messenger.c ceph_parse_server_name() -> ceph_dns_resolve_name()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | name | 4096-u64max |
| PARAM_VALUE | 1 | namelen | 0-9223372036854771712,9223372036854775809-u64max |
| PARAM_VALUE | 2 | addr | 4096-ptr_max |
| PARAM_VALUE | 2 | addr->in_addr.__align | 0 |
| PARAM_VALUE | 2 | addr->in_addr.ss_family | 0 |
| PARAM_VALUE | 3 | delim | 44,47,93 |
| PARAM_VALUE | 4 | ipend | 8937373865683378176 |
| PARAM_VALUE | 4 | **ipend | 0-255 |
| CAPPED_DATA | 3 | delim | 1 |
| DATA_SOURCE | 0 | name | $0 |
| DATA_SOURCE | 1 | namelen | $1 |
| DATA_SOURCE | 2 | addr | $2 |
| DATA_SOURCE | 3 | delim | $3 |
| DATA_SOURCE | 4 | ipend | $4 |
| FUZZY_MAX | 3 | delim | 93 |
| STR_LEN | 0 | name | (-1)-1010101 |
| STR_LEN | 0 | name | (-1)-1010101 |
| MEM_ZERO | 2 | &addr->in_addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 4 | **ipend | 0-255 |
| UNITS | 0 | name | unit_byte |
| UNITS | 1 | namelen | unit_byte |
| USER_PTR | 0 | name | |
| HALF_LOCKED2 | &of->mutex |