Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ipmr.c ip_mr_forward() -> ipmr_find_vif()

Type Parameter Key Value
PARAM_VALUE 0 mrt 4096-ptr_max
DATA_SOURCE 0 mrt $1
DATA_SOURCE 1 dev $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 dev->group
NO_OVERFLOW_SIMPLE 1 dev->num_tc
NO_OVERFLOW_SIMPLE 1 dev->proto_down
NO_OVERFLOW_SIMPLE 1 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 1 dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 1 dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 1 dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 1 dev->tx_queue_len
UNITS 1 dev unit_byte
HALF_LOCKED2 &net->ipv4.mfc_mutex
HALF_LOCKED2 rcu_read

net/ipv4/ipmr.c ip_mr_input() -> ipmr_find_vif()

Type Parameter Key Value
PARAM_VALUE 0 mrt 4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
DATA_SOURCE 0 mrt r ipmr_rt_fib_lookup
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 dev->group
NO_OVERFLOW_SIMPLE 1 dev->num_tc
NO_OVERFLOW_SIMPLE 1 dev->proto_down
NO_OVERFLOW_SIMPLE 1 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 1 dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 1 dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 1 dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 1 dev->tx_queue_len
UNITS 1 dev unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv4/ipmr.c ip_mr_input() -> ipmr_find_vif()

Type Parameter Key Value
PARAM_VALUE 0 mrt 4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
CAPPED_DATA 1 dev 1
DATA_SOURCE 0 mrt r ipmr_rt_fib_lookup
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 dev->group
NO_OVERFLOW_SIMPLE 1 dev->num_tc
NO_OVERFLOW_SIMPLE 1 dev->proto_down
NO_OVERFLOW_SIMPLE 1 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 1 dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 1 dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 1 dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 1 dev->tx_queue_len
UNITS 1 dev unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv4/ipmr.c ip_mr_output() -> ipmr_find_vif()

Type Parameter Key Value
PARAM_VALUE 0 mrt 4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
DATA_SOURCE 0 mrt r ipmr_rt_fib_lookup
DATA_SOURCE 1 dev r dst_dev_rcu
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 bh

net/ipv4/ipmr.c ip_mr_output() -> ipmr_find_vif()

Type Parameter Key Value
PARAM_VALUE 0 mrt 4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
CAPPED_DATA 1 dev 1
DATA_SOURCE 0 mrt r ipmr_rt_fib_lookup
DATA_SOURCE 1 dev r dst_dev_rcu
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 bh

net/ipv4/ipmr.c ipmr_get_route() -> ipmr_find_vif()

Type Parameter Key Value
PARAM_VALUE 0 mrt 4096-ptr_max
PARAM_VALUE 1 dev 1-u64max
DATA_SOURCE 0 mrt r __ipmr_get_table
RX_PATH
TASK_NOT_RUNNING
UNITS 1 dev unit_byte
LOCK2 rcu_read
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 &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/ipv4/ipmr.c ipmr_get_route() -> ipmr_find_vif()

Type Parameter Key Value
PARAM_VALUE 0 mrt 4096-ptr_max
PARAM_VALUE 1 dev 1-u64max
DATA_SOURCE 0 mrt r __ipmr_get_table
RX_PATH
TASK_NOT_RUNNING
UNITS 1 dev unit_byte
LOCK2 rcu_read
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 &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/ipv4/ipmr.c rtm_to_ipmr_mfcc() -> ipmr_find_vif()

Type Parameter Key Value
PARAM_VALUE 0 mrt 4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
CAPPED_DATA 0 mrt->id 1
CAPPED_DATA 1 dev->ifindex 1
DATA_SOURCE 0 mrt r __ipmr_get_table
DATA_SOURCE 1 dev r dev_get_by_index_rcu
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
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 &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex