Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 18 files:

Smatch caller information:

drivers/gpu/drm/xen/xen_drm_front_evtchnl.c xen_drm_front_evtchnl_flush() -> notify_remote_via_irq()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &evtchnl->u.req.req_io_lock
LOCK2 &front_info->io_lock
LOCK2 flags
HALF_LOCKED2 global &drm_unplug_srcu
TYPE_LOCK (struct xen_drm_front_info)->io_lock

net/9p/trans_xen.c p9_xen_request() -> notify_remote_via_irq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &client->trans->sq_sem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &v9ses->rename_sem

net/9p/trans_xen.c p9_xen_response() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/xen-blkback/blkback.c make_response() -> notify_remote_via_irq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/xen-netfront.c xennet_alloc_rx_buffers() -> notify_remote_via_irq()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &queue->rx_lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &xenwatch_mutex
TYPE_LOCK (struct netfront_queue)->rx_lock

drivers/net/xen-netfront.c xennet_connect() -> notify_remote_via_irq()

Type Parameter Key Value
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xenwatch_mutex

drivers/net/xen-netfront.c xennet_connect() -> notify_remote_via_irq()

Type Parameter Key Value
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xenwatch_mutex

drivers/net/xen-netfront.c xennet_start_xmit() -> notify_remote_via_irq()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &queue->tx_lock
LOCK2 flags
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct netfront_queue)->tx_lock

drivers/net/xen-netfront.c xennet_xdp_xmit_one() -> notify_remote_via_irq()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &queue->tx_lock
LOCK2 irq_flags
HALF_LOCKED2 &queue->rx_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct netfront_queue)->tx_lock

drivers/xen/xen-scsiback.c scsiback_send_response() -> notify_remote_via_irq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/xen/pvcalls-front.c pvcalls_front_accept() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL

drivers/xen/pvcalls-front.c pvcalls_front_bind() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL

drivers/xen/pvcalls-front.c pvcalls_front_connect() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL

drivers/xen/pvcalls-front.c pvcalls_front_listen() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL

drivers/xen/pvcalls-front.c pvcalls_front_poll_passive() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL

drivers/xen/pvcalls-front.c pvcalls_front_recvmsg() -> notify_remote_via_irq()

Type Parameter Key Value
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &map->active.in_mutex
TYPE_LOCK (struct sock_mapping)->active.in_mutex

drivers/xen/pvcalls-front.c pvcalls_front_release() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL

drivers/xen/pvcalls-front.c pvcalls_front_sendmsg() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &map->active.out_mutex
TYPE_LOCK (struct sock_mapping)->active.out_mutex

drivers/xen/pvcalls-front.c pvcalls_front_socket() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL

sound/xen/xen_snd_front_evtchnl.c xen_snd_front_evtchnl_flush() -> notify_remote_via_irq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

drivers/scsi/xen-scsifront.c scsifront_do_request() -> notify_remote_via_irq()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 host->host_lock
HALF_LOCKED2 irq
HALF_LOCKED2 shost->host_lock

drivers/xen/xen-pciback/pci_stub.c common_process() -> notify_remote_via_irq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pcistub_sem
HALF_LOCKED2 &dev->dev.mutex

drivers/xen/xen-pciback/pciback_ops.c xen_pcibk_do_one_op() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/xen/pvcalls-back.c __pvcalls_back_accept() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/xen/pvcalls-back.c pvcalls_back_work() -> notify_remote_via_irq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/xen/pvcalls-back.c pvcalls_conn_back_read() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/xen/pvcalls-back.c pvcalls_conn_back_write() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/xen/pvcalls-back.c pvcalls_pass_sk_data_ready() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL

drivers/xen/pvcalls-back.c pvcalls_sk_state_change() -> notify_remote_via_irq()

Type Parameter Key Value
NOCHECK_CALL

drivers/net/xen-netback/netback.c push_ctrl_response() -> notify_remote_via_irq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/net/xen-netback/netback.c push_tx_responses() -> notify_remote_via_irq()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &queue->response_lock
LOCK2 flags
TYPE_LOCK (struct xenvif_queue)->response_lock

drivers/net/xen-netback/rx.c xenvif_rx_copy_flush() -> notify_remote_via_irq()

Type Parameter Key Value
RX_PATH
NOCHECK_CALL

drivers/input/misc/xen-kbdfront.c input_handler() -> notify_remote_via_irq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/usb/host/xen-hcd.c xenhcd_conn_notify() -> notify_remote_via_irq()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &info->lock
LOCK2 flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct xenhcd_info)->lock

drivers/usb/host/xen-hcd.c xenhcd_connect() -> notify_remote_via_irq()

Type Parameter Key Value
PARAM_VALUE 0 irq 0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xenwatch_mutex

drivers/usb/host/xen-hcd.c xenhcd_do_request() -> notify_remote_via_irq()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &info->lock
LOCK2 flags
TYPE_LOCK (struct xenhcd_info)->lock

drivers/video/fbdev/xen-fbfront.c xenfb_event_handler() -> notify_remote_via_irq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/video/fbdev/xen-fbfront.c xenfb_send_event() -> notify_remote_via_irq()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fbdefio_state->lock
HALF_LOCKED2 &info->resize_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags

drivers/block/xen-blkfront.c flush_requests() -> notify_remote_via_irq()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rinfo->ring_lock
LOCK2 flags
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct blkfront_ring_info)->ring_lock