Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/ipv4/fib_frontend.c fib_del_ifaddr() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
CAPPED_DATA 1 ifa 1
CAPPED_DATA 1 ifa->ifa_mask 1
DATA_SOURCE 1 ifa $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
LOCK2 rcu_read

net/ipv4/fib_frontend.c fib_del_ifaddr() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
CAPPED_DATA 1 ifa 1
CAPPED_DATA 1 ifa->ifa_mask 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
LOCK2 rcu_read

net/ipv4/fib_frontend.c fib_del_ifaddr() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
CAPPED_DATA 1 ifa 1
CAPPED_DATA 1 ifa->ifa_local 1
CAPPED_DATA 1 ifa->ifa_mask 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
LOCK2 rcu_read

net/smc/smc_clc.c smc_clc_prfx_match4_rcu() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
LOCK2 &new_smc->sk
LOCK2 &pool->lock
LOCK2 global &smc_server_lgr_pending
LOCK2 rcu_read
TYPE_LOCK (struct smc_sock)->sk

net/smc/smc_clc.c smc_clc_prfx_set4_rcu() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 1-u64max
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &smc->sk
HALF_LOCKED2 sk

net/smc/smc_ib.c smc_ib_determine_gid_rcu() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 1-u64max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
LOCK2 rcu_read
HALF_LOCKED2 global &smc_ib_devices.mutex

net/ipv4/devinet.c __inet_del_ifa() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
CAPPED_DATA 1 ifa->ifa_mask 1
BIT_INFO 1 ifa->ifa_flags 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/devinet.c __inet_del_ifa() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
CAPPED_DATA 1 ifa->ifa_mask 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/devinet.c __inet_del_ifa() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
CAPPED_DATA 1 ifa->ifa_mask 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/devinet.c __inet_insert_ifa() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
BUF_SIZE 1 ifa (-1),120
BUF_SIZE 1 ifa (-1),120
CAPPED_DATA 1 ifa->ifa_mask 1
DATA_SOURCE 1 ifa $0
BIT_INFO 1 ifa->ifa_flags 0x0,0xfffff6a1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ifa->ifa_flags 0-1,32-161[c]
USER_DATA 1 ifa->ifa_preferred_lft 0-4294967294
USER_DATA 1 ifa->ifa_prefixlen 0-255
USER_DATA 1 ifa->ifa_scope 0-255
USER_DATA 1 ifa->ifa_valid_lft 1-4294967294
UNITS 0 addr unit_byte
USER_PTR 1 ifa->ifa_label
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/devinet.c confirm_addr_indev() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u32max
PARAM_VALUE 1 ifa 4096-ptr_max
DATA_SOURCE 0 addr $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr 1-255
UNITS 0 addr unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/devinet.c confirm_addr_indev() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u32max
PARAM_VALUE 1 ifa 4096-ptr_max
DATA_SOURCE 0 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/ipv4/devinet.c confirm_addr_indev() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u32max
PARAM_VALUE 1 ifa 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/devinet.c find_matching_ifa() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
BUF_SIZE 1 ifa 120
CAPPED_DATA 1 ifa->ifa_mask 1
DATA_SOURCE 1 ifa $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ifa->ifa_flags 0-255
USER_DATA 1 ifa->ifa_prefixlen 0-255
USER_DATA 1 ifa->ifa_scope 0-255
UNITS 0 addr unit_byte
USER_PTR 1 ifa->ifa_label
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv4/devinet.c inet_addr_onlink() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 1-u64max
DATA_SOURCE 0 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr 0-u32max
UNITS 0 addr unit_byte
LOCK2 rcu_read

net/ipv4/devinet.c inet_addr_onlink() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u32max
PARAM_VALUE 1 ifa 4096-ptr_max
DATA_SOURCE 0 addr $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
LOCK2 rcu_read

net/ipv4/devinet.c inet_ifa_byprefix() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
CAPPED_DATA 1 ifa->ifa_mask 1
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/devinet.c inet_rtm_deladdr() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 1 ifa 4096-ptr_max
CAPPED_DATA 1 ifa->ifa_prefixlen 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv4/devinet.c inet_select_addr() -> inet_ifa_match()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u32max
PARAM_VALUE 1 ifa 4096-ptr_max
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr 1-u32max
UNITS 0 addr unit_byte
LOCK2 rcu_read
HALF_LOCKED2 bh