Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/xfrm/xfrm_device.c xfrm_dev_down() -> xfrm_dev_policy_flush()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 task_valid 1
CAPPED_DATA 1 dev 1
CAPPED_DATA 1 dev->nd_net.net 1
DATA_SOURCE 1 dev $0
BIT_INFO 1 dev->features 0x4000000000000,0xffffffffffffffff
NOCHECK_CALL
UNITS 1 dev unit_byte

net/xfrm/xfrm_device.c xfrm_dev_unregister() -> xfrm_dev_policy_flush()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 task_valid 1
CAPPED_DATA 1 dev 1
CAPPED_DATA 1 dev->nd_net.net 1
DATA_SOURCE 1 dev $0
NOCHECK_CALL
UNITS 1 dev unit_byte