Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/xen-netback/xenbus.c netback_remove() -> xenvif_free()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->credit_watch.node 0
PARAM_VALUE 0 vif->credit_watch.nr_pending 0
PARAM_VALUE 0 vif->ctrl.sring 0
PARAM_VALUE 0 vif->ctrl_irq 0
PARAM_VALUE 0 vif->mcast_ctrl_watch.node 0
PARAM_VALUE 0 vif->mcast_ctrl_watch.nr_pending 0
PARAM_VALUE 0 vif->num_queues 0
PARAM_VALUE 0 vif->queues 0
PARAM_VALUE 0 vif->xenvif_dbg_root 0
PARAM_VALUE 0 *vif->xenvif_dbg_root->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 *vif->xenvif_dbg_root->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *vif->xenvif_dbg_root->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->reclaim_sem
TYPE_LOCK (struct xenbus_device)->reclaim_sem