Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/psp/psp_main.c psp_dev_create() -> psp_nl_notify_dev()

Type Parameter Key Value
PARAM_VALUE 0 psd 4096-ptr_max
PARAM_VALUE 0 psd->active_assocs.next 4096-ptr_max
PARAM_VALUE 0 psd->active_assocs.next->next 4096-ptr_max
PARAM_VALUE 0 psd->active_assocs.prev 4096-ptr_max
PARAM_VALUE 0 psd->active_assocs.prev->next 4096-ptr_max
PARAM_VALUE 0 psd->active_assocs.prev->prev 4096-ptr_max
PARAM_VALUE 0 psd->assoc_dev_list.next 4096-ptr_max
PARAM_VALUE 0 psd->assoc_dev_list.next->next 4096-ptr_max
PARAM_VALUE 0 psd->assoc_dev_list.prev 4096-ptr_max
PARAM_VALUE 0 psd->assoc_dev_list.prev->next 4096-ptr_max
PARAM_VALUE 0 psd->assoc_dev_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 psd->caps 4096-ptr_max
PARAM_VALUE 0 psd->caps->assoc_drv_spc 4,8
PARAM_VALUE 0 psd->caps->versions 1,3,15
PARAM_VALUE 0 psd->drv_priv 0,4096-ptr_max
PARAM_VALUE 0 psd->lock.dep_map->name 0-255
PARAM_VALUE 0 psd->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 psd->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 psd->lock.magic 4096-ptr_max
PARAM_VALUE 0 psd->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 psd->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 psd->lock.wait_lock.owner (-1)
PARAM_VALUE 0 psd->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 psd->ops 2235984705671585792,8736932408110075904
PARAM_VALUE 0 psd->ops->get_stats 3823889233340723200,6162714544096534528
PARAM_VALUE 0 psd->ops->key_rotate 6933127953319854080,8154089329649307648
PARAM_VALUE 0 psd->ops->rx_spi_alloc 3047414224378519552,3575284283401502720
PARAM_VALUE 0 psd->ops->set_config 2200979043546460160,5804929266083229696
PARAM_VALUE 0 psd->ops->tx_key_add 7003194218003664896,8619658840442175488
PARAM_VALUE 0 psd->ops->tx_key_del 2154436798808993792,7956816379992616960
PARAM_VALUE 0 psd->prev_assocs.next 4096-ptr_max
PARAM_VALUE 0 psd->prev_assocs.next->next 4096-ptr_max
PARAM_VALUE 0 psd->prev_assocs.prev 4096-ptr_max
PARAM_VALUE 0 psd->prev_assocs.prev->next 4096-ptr_max
PARAM_VALUE 0 psd->prev_assocs.prev->prev 4096-ptr_max
PARAM_VALUE 0 psd->refcnt.refs.counter 1
PARAM_VALUE 0 psd->stale_assocs.next 4096-ptr_max
PARAM_VALUE 0 psd->stale_assocs.next->next 4096-ptr_max
PARAM_VALUE 0 psd->stale_assocs.prev 4096-ptr_max
PARAM_VALUE 0 psd->stale_assocs.prev->next 4096-ptr_max
PARAM_VALUE 0 psd->stale_assocs.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd 2
BUF_SIZE 0 psd 304
BUF_SIZE 0 psd->drv_priv s32min-(-1),1-s32max
CAPPED_DATA 0 psd 1
CAPPED_DATA 0 &psd->lock 1
DATA_SOURCE 0 psd r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 psd->main_netdev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 psd->main_netdev->num_rx_queues
NO_OVERFLOW_SIMPLE 0 psd->main_netdev->num_tx_queues
NO_OVERFLOW_SIMPLE 0 psd->main_netdev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 psd->main_netdev->real_num_tx_queues
LOCK2 0 &psd->lock
HALF_LOCKED2 &ns->psp.rereg_lock
TYPE_LOCK (struct psp_dev)->lock

net/psp/psp_main.c psp_dev_unregister() -> psp_nl_notify_dev()

Type Parameter Key Value
PARAM_VALUE 0 psd 1-u64max
PARAM_VALUE 0 psd->lock.dep_map->name 0-255
PARAM_VALUE 0 psd->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 psd->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 psd->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 psd->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 psd->lock.wait_lock.owner (-1)
PARAM_VALUE 0 psd->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 cmd 3
CAPPED_DATA 0 &psd->lock 1
DATA_SOURCE 0 psd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &psp_devs_lock
LOCK2 0 &psd->lock
TYPE_LOCK (struct psp_dev)->lock

net/psp/psp_main.c psp_netdev_event() -> psp_nl_notify_dev()

Type Parameter Key Value
PARAM_VALUE 0 psd 4096-ptr_max
PARAM_VALUE 0 psd->lock.dep_map->name 0-255
PARAM_VALUE 0 psd->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 psd->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 psd->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 psd->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 psd->lock.wait_lock.owner (-1)
PARAM_VALUE 0 psd->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 psd->ops 1-u64max
PARAM_VALUE 0 psd->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 cmd 5
CAPPED_DATA 0 &psd->lock 1
NOCHECK_CALL
LOCK2 0 &psd->lock
TYPE_LOCK (struct psp_dev)->lock

net/psp/psp_nl.c psp_nl_dev_assoc_doit() -> psp_nl_notify_dev()

Type Parameter Key Value
PARAM_VALUE 0 psd 4096-ptr_max
PARAM_VALUE 0 psd->assoc_dev_cnt s32min-128
PARAM_VALUE 0 psd->assoc_dev_list.prev 4096-ptr_max
PARAM_VALUE 0 psd->assoc_dev_list.prev->next 4096-ptr_max
PARAM_VALUE 0 psd->assoc_dev_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 cmd 5
BUF_SIZE 0 psd s32min-(-2),1-s32max
BUF_SIZE 0 psd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/psp/psp_nl.c psp_nl_dev_disassoc_doit() -> psp_nl_notify_dev()

Type Parameter Key Value
PARAM_VALUE 1 cmd 5
BUF_SIZE 0 psd s32min-(-2),1-s32max
BUF_SIZE 0 psd s32min-(-2),1-s32max
CAPPED_DATA 0 &psd->assoc_dev_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/psp/psp_nl.c psp_nl_dev_set_doit() -> psp_nl_notify_dev()

Type Parameter Key Value
PARAM_VALUE 0 psd 4096-ptr_max
PARAM_VALUE 0 psd->caps 4096-ptr_max
PARAM_VALUE 1 cmd 5
BUF_SIZE 0 psd s32min-(-2),1-s32max
BUF_SIZE 0 psd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read