Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/fib_frontend.c fib_disable_ip() -> fib_sync_down_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 event 2,6
CAPPED_DATA 0 dev->nd_net.net 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 event $1
DATA_SOURCE 2 force $2
HARD_MAX 1 event 6

net/ipv4/fib_frontend.c fib_netdev_event() -> fib_sync_down_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 event 4
PARAM_VALUE 2 force 0
CAPPED_DATA 0 dev->ip_ptr 1
CAPPED_DATA 0 dev->nd_net.net 1
DATA_SOURCE 0 dev r netdev_notifier_info_to_dev
DATA_SOURCE 1 event $1
NOCHECK_CALL