Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/netlink.c rdma_nl_rcv_msg() -> is_nl_msg_valid()

Type Parameter Key Value
PARAM_VALUE 0 type 0-63
PARAM_VALUE 1 op 0,16-1023
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 type 0-63[c]
USER_DATA 1 op 0,16-1023[c]
HALF_LOCKED2 &dev->ethtool->rss_lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

drivers/infiniband/core/netlink.c rdma_nl_register() -> is_nl_msg_valid()

Type Parameter Key Value
PARAM_VALUE 0 type 2,4-5
PARAM_VALUE 1 op 0
DATA_SOURCE 0 type $0
HARD_MAX 0 type 5