Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/igmp.c __igmp_group_dropped() -> igmp_send_report()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | in_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | in_dev->dead | 0 |
| PARAM_VALUE | 0 | in_dev->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->interface | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->interface->dead | 0 |
| PARAM_VALUE | 1 | pmc->interface->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->interface->dev->refcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->interface->dev->refcnt_tracker.quarantine.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->interface->dev->refcnt_tracker.quarantine.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->loaded | 0 |
| PARAM_VALUE | 1 | pmc->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | pmc->multiaddr | 0-3758096384,3758096386-u32max |
| PARAM_VALUE | 1 | pmc->reporter | 0 |
| PARAM_VALUE | 1 | pmc->timer.entry.pprev | 0 |
| PARAM_VALUE | 1 | pmc->timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | pmc->timer.function | 0 |
| PARAM_VALUE | 1 | pmc->tm_running | 0 |
| PARAM_VALUE | 1 | pmc->unsolicit_count | 0 |
| PARAM_VALUE | 2 | type | 23 |
| CAPPED_DATA | 0 | in_dev->dev->nd_net.net | 1 |
| CAPPED_DATA | 1 | pmc | 1 |
| DATA_SOURCE | 1 | pmc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv4/igmp.c igmp_timer_expire() -> igmp_send_report()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | in_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | in_dev->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->interface | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->interface->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | pmc->reporter | 1 |
| PARAM_VALUE | 1 | pmc->tm_running | 0-1 |
| PARAM_VALUE | 2 | type | 18 |
| CAPPED_DATA | 0 | in_dev->dev->nd_net.net | 1 |
| FUZZY_MAX | 1 | pmc->tm_running | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv4/igmp.c igmp_timer_expire() -> igmp_send_report()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | in_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | in_dev->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->interface | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->interface->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | pmc->reporter | 1 |
| PARAM_VALUE | 1 | pmc->tm_running | 0-1 |
| PARAM_VALUE | 2 | type | 22 |
| CAPPED_DATA | 0 | in_dev->dev->nd_net.net | 1 |
| FUZZY_MAX | 1 | pmc->tm_running | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv4/igmp.c igmp_timer_expire() -> igmp_send_report()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | in_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | in_dev->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->interface | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->interface->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | pmc->reporter | 1 |
| PARAM_VALUE | 1 | pmc->tm_running | 0-1 |
| PARAM_VALUE | 2 | type | 34 |
| CAPPED_DATA | 0 | in_dev->dev->nd_net.net | 1 |
| FUZZY_MAX | 1 | pmc->tm_running | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv4/igmp.c ip_mc_rejoin_groups() -> igmp_send_report()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | in_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | in_dev->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc | 4096-ptr_max |
| PARAM_VALUE | 1 | pmc->multiaddr | 0-3758096384,3758096386-u32max |
| PARAM_VALUE | 2 | type | 18,22,34 |
| CAPPED_DATA | 0 | in_dev->dev->nd_net.net | 1 |
| DATA_SOURCE | 0 | in_dev | $0 |
| FUZZY_MAX | 2 | type | 34 |
| BIT_INFO | 2 | type | 0x2,0x36 |
| HARD_MAX | 2 | type | 34 |
| NOCHECK_CALL |