Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/netlabel/netlabel_unlabeled.c netlbl_unlhsh_remove() -> netlbl_unlhsh_remove_addr4()

Type Parameter Key Value
PARAM_VALUE 0 net 1824583183996030976
PARAM_VALUE 1 iface 4096-ptr_max
PARAM_VALUE 2 addr 4096-ptr_max
PARAM_VALUE 3 mask 4096-ptr_max
PARAM_VALUE 4 audit_info 2328354114262855680,6363791477243875328,6823031421423562752
BUF_SIZE 2 addr (-1),4
BUF_SIZE 3 mask (-1),4
DATA_SOURCE 0 net $0
DATA_SOURCE 2 addr $2
DATA_SOURCE 3 mask $3
DATA_SOURCE 4 audit_info $5
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr->s_addr 0-u32max[u]
USER_DATA 3 mask->s_addr 0-u32max[u]
USER_PTR 2 addr
USER_PTR 3 mask
LOCK2 rcu_read
HALF_LOCKED2 global &smk_net4addr_lock