Documented in 1 files:

Defined in 1 files as a function:

Referenced in 14 files:

Smatch caller information:

drivers/net/wireless/virtual/mac80211_hwsim_main.c hwsim_dump_radio_nl() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->prev_seq 1-u32max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb (-1),128
BUF_SIZE 0 cb (-1),128
BUF_SIZE 0 cb->extack 128
DATA_SOURCE 0 cb $1
DATA_SOURCE 1 user_hdr r genlmsg_put
PARAM_COMPARE 0 cb->prev_seq != $0->seq
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 global &hwsim_radio_lock
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

drivers/net/wireless/virtual/mac80211_hwsim_main.c mac80211_hwsim_get_radio() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
DATA_SOURCE 0 cb $4
DATA_SOURCE 1 user_hdr r genlmsg_put
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *user_hdr s64min-s64max
USER_PTR 1 user_hdr
LOCK2 bh
LOCK2 global &hwsim_radio_lock
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/batman-adv/bat_iv_ogm.c batadv_iv_gw_dump_entry() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->seq 1,3-u32max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
CAPPED_DATA 0 cb->skb->sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 cb $2
DATA_SOURCE 1 user_hdr r genlmsg_put
BIT_INFO 0 cb->seq 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bat_priv->gw.list_lock
LOCK2 bh
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct batadv_priv_gw)->list_lock
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

drivers/net/macsec.c dump_secy() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
DATA_SOURCE 0 cb $3
DATA_SOURCE 1 user_hdr r genlmsg_put
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/batman-adv/bridge_loop_avoidance.c batadv_bla_backbone_dump_entry() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->seq 0-s32max,2147483649-u32max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
CAPPED_DATA 0 cb->skb->sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 cb $2
DATA_SOURCE 1 user_hdr r genlmsg_put
BIT_INFO 0 cb->seq 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/batman-adv/bridge_loop_avoidance.c batadv_bla_claim_dump_entry() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->seq 0-s32max,2147483649-u32max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
CAPPED_DATA 0 cb->skb->sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 cb $2
DATA_SOURCE 1 user_hdr r genlmsg_put
BIT_INFO 0 cb->seq 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/ieee802154/nl802154.c nl802154_send_peer_info() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
DATA_SOURCE 0 cb $1
DATA_SOURCE 1 user_hdr r nl802154hdr_put
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wpan_dev->association_lock
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex
TYPE_LOCK (struct wpan_dev)->association_lock

net/batman-adv/distributed-arp-table.c batadv_dat_cache_dump_entry() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->seq 0-s32max,2147483649-u32max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
CAPPED_DATA 0 cb->skb->sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 cb $2
DATA_SOURCE 1 user_hdr r genlmsg_put
BIT_INFO 0 cb->seq 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/wireless/nl80211.c nl80211_send_bss() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
CAPPED_DATA 0 cb->skb->sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 cb $1
DATA_SOURCE 1 user_hdr r nl80211hdr_put
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rdev->bss_lock
LOCK2 &rdev->wiphy.mtx
LOCK2 bh
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct cfg80211_registered_device)->bss_lock
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex
TYPE_LOCK (struct wiphy)->mtx

net/wireless/nl80211.c nl80211_send_regdom() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
DATA_SOURCE 0 cb $1
DATA_SOURCE 1 user_hdr r nl80211hdr_put
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/batman-adv/multicast.c batadv_mcast_flags_dump_entry() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->seq 0-s32max,2147483649-u32max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
CAPPED_DATA 0 cb->skb->sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 cb $2
DATA_SOURCE 1 user_hdr r genlmsg_put
BIT_INFO 0 cb->seq 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/batman-adv/translation-table.c batadv_tt_local_dump_entry() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->seq 0-s32max,2147483649-u32max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
CAPPED_DATA 0 cb->skb->sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 cb $2
DATA_SOURCE 1 user_hdr r genlmsg_put
BIT_INFO 0 cb->seq 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

drivers/net/wireguard/netlink.c wg_get_device_dumpit() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb (-1),128
BUF_SIZE 0 cb (-1),128
BUF_SIZE 0 cb->extack 128
DATA_SOURCE 0 cb $1
DATA_SOURCE 1 user_hdr r genlmsg_put
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wg->device_update_lock
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex
TYPE_LOCK (struct wg_device)->device_update_lock

drivers/net/ieee802154/mac802154_hwsim.c hwsim_get_radio() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
DATA_SOURCE 0 cb $4
DATA_SOURCE 1 user_hdr r genlmsg_put
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *user_hdr s64min-s64max
USER_PTR 1 user_hdr
LOCK2 global &hwsim_phys_lock
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/nfc/netlink.c nfc_genl_send_device() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
DATA_SOURCE 0 cb $4
DATA_SOURCE 1 user_hdr r genlmsg_put
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *user_hdr s64min-s64max
USER_PTR 1 user_hdr
LOCK2 global &nfc_devlist_mutex
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/nfc/netlink.c nfc_genl_send_se() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
DATA_SOURCE 0 cb $4
DATA_SOURCE 1 user_hdr r genlmsg_put
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nfc_devlist_mutex
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/nfc/netlink.c nfc_genl_send_target() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
DATA_SOURCE 0 cb $2
DATA_SOURCE 1 user_hdr r genlmsg_put
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->dev.mutex
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/batman-adv/netlink.c batadv_netlink_hardif_fill() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->seq 1,3-u32max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
CAPPED_DATA 0 cb->skb->sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 cb $7
DATA_SOURCE 1 user_hdr r genlmsg_put
BIT_INFO 0 cb->seq 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *user_hdr s64min-s64max
USER_PTR 1 user_hdr
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/batman-adv/bat_v.c batadv_v_gw_dump_entry() -> genl_dump_check_consistent()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->seq 1,3-u32max
PARAM_VALUE 1 user_hdr 1-u64max
BUF_SIZE 0 cb->extack 128
CAPPED_DATA 0 cb->skb->sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 cb $2
DATA_SOURCE 1 user_hdr r genlmsg_put
BIT_INFO 0 cb->seq 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bat_priv->gw.list_lock
LOCK2 bh
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct batadv_priv_gw)->list_lock
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex