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 connect_ctrl_ring() -> xenvif_connect_ctrl()

Type Parameter Key Value
PARAM_VALUE 0 vif 4096-ptr_max
PARAM_VALUE 0 vif->credit_watch.callback 0,2065939008010911744
PARAM_VALUE 0 vif->credit_watch.node 0,4096-ptr_max
PARAM_VALUE 0 vif->credit_watch.nr_pending 0
PARAM_VALUE 0 vif->credit_watch.will_handle 0
PARAM_VALUE 0 vif->mcast_ctrl_watch.callback 0,7591377789179539456
PARAM_VALUE 0 vif->mcast_ctrl_watch.node 0,4096-ptr_max
PARAM_VALUE 0 vif->mcast_ctrl_watch.nr_pending 0
PARAM_VALUE 0 vif->mcast_ctrl_watch.will_handle 0
PARAM_COMPARE 1 ring_ref == $2
PARAM_COMPARE 2 evtchn == $1
TASK_NOT_RUNNING
LOCK2 global &xenwatch_mutex