Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 26 files:

Smatch caller information:

arch/x86/xen/time.c xen_teardown_timer() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/xen/xen_drm_front_evtchnl.c evtchnl_free() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-u32max
PARAM_VALUE 1 dev_id 4096-ptr_max
DATA_SOURCE 1 dev_id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xenwatch_mutex

drivers/xen/xen-pciback/xenbus.c xen_pcibk_disconnect() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-4294967294
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-2),1-s32max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
LOCK2 &pdev->dev_lock
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex
TYPE_LOCK (struct xen_pcibk_device)->dev_lock

drivers/char/tpm/xen-tpmfront.c ring_free() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-u32max
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-2),1-s32max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
HALF_LOCKED2 &dev->reclaim_sem

net/9p/trans_xen.c xen_9pfs_front_free() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex

drivers/net/xen-netfront.c setup_netfront_split() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
DATA_SOURCE 1 dev_id $0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xenwatch_mutex

drivers/net/xen-netfront.c xennet_disconnect_backend() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-u32max
PARAM_VALUE 1 dev_id 4096-ptr_max
CAPPED_DATA 0 irq 1
PARAM_COMPARE 0 irq == $1->rx_irq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex

drivers/net/xen-netfront.c xennet_disconnect_backend() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-u32max
PARAM_VALUE 1 dev_id 4096-ptr_max
PARAM_COMPARE 0 irq != $1->rx_irq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex

drivers/net/xen-netfront.c xennet_disconnect_backend() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 4096-ptr_max
PARAM_COMPARE 0 irq != $1->tx_irq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex

arch/x86/xen/spinlock.c xen_uninit_lock_cpu() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-4294967294
PARAM_VALUE 1 dev_id 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

drivers/xen/xen-scsiback.c scsiback_disconnect() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-u32max
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-2),1-s32max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex

drivers/xen/xen-scsiback.c scsiback_init_sring() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-2),1-s32max
DATA_SOURCE 1 dev_id $0
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
LOCK2 global &xenwatch_mutex

arch/x86/xen/smp_pv.c xen_smp_intr_free_pv() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/xen/smp_pv.c xen_smp_intr_free_pv() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/xen/pvcalls-front.c pvcalls_front_destroy_active() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id (-1),464
DATA_SOURCE 1 dev_id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/xen/pvcalls-front.c pvcalls_front_remove() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->reclaim_sem
TYPE_LOCK (struct xenbus_device)->reclaim_sem

sound/xen/xen_snd_front_evtchnl.c evtchnl_free() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-u32max
PARAM_VALUE 1 dev_id 4096-ptr_max
DATA_SOURCE 1 dev_id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xenwatch_mutex

drivers/scsi/xen-scsifront.c scsifront_alloc_ring() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-1),1-s32max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
HALF_LOCKED2 &dev->reclaim_sem

drivers/scsi/xen-scsifront.c scsifront_free_ring() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-1),1-s32max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
HALF_LOCKED2 &dev->reclaim_sem

drivers/xen/pcpu.c xen_pcpu_init() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 0
CAPPED_DATA 0 irq 1
DATA_SOURCE 0 irq r bind_virq_to_irqhandler
NOCHECK_CALL

drivers/block/xen-blkback/xenbus.c xen_blkif_disconnect() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-u32max
PARAM_VALUE 1 dev_id 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex

drivers/net/xen-netback/interface.c xenvif_connect_ctrl() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
DATA_SOURCE 1 dev_id $0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xenwatch_mutex

drivers/net/xen-netback/interface.c xenvif_disconnect_ctrl() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-u32max
PARAM_VALUE 1 dev_id 4096-ptr_max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex

drivers/net/xen-netback/interface.c xenvif_disconnect_queue() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-u32max
PARAM_VALUE 1 dev_id 4096-ptr_max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xenwatch_mutex

drivers/net/xen-netback/interface.c xenvif_disconnect_queue() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-u32max
PARAM_VALUE 1 dev_id 4096-ptr_max
DATA_SOURCE 1 dev_id $0
PARAM_COMPARE 0 irq >= $1->tx_irq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xenwatch_mutex

drivers/xen/pvcalls-back.c backend_connect() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
DATA_SOURCE 1 dev_id $0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xenwatch_mutex

drivers/xen/pvcalls-back.c backend_disconnect() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 4096-ptr_max
DATA_SOURCE 1 dev_id $0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pvcalls_back_global.frontends_lock
HALF_LOCKED2 global &xenwatch_mutex
TYPE_LOCK (struct pvcalls_back_global)->frontends_lock

drivers/xen/pvcalls-back.c pvcalls_back_release_active() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id (-1),216
DATA_SOURCE 1 dev_id $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fedata->socket_lock
HALF_LOCKED2 global &pvcalls_back_global.frontends_lock

drivers/input/misc/xen-kbdfront.c xenkbd_connect_backend() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-2),1-s32max
DATA_SOURCE 1 dev_id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
HALF_LOCKED2 &dev->reclaim_sem

drivers/input/misc/xen-kbdfront.c xenkbd_disconnect_backend() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-2),1-s32max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
HALF_LOCKED2 &dev->reclaim_sem

drivers/xen/privcmd.c alloc_ioreq() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 4096-ptr_max
NOCHECK_CALL
LOCK2 global &ioreq_lock

drivers/xen/privcmd.c ioreq_free() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 4096-ptr_max
NOCHECK_CALL
LOCK2 global &ioreq_lock

drivers/usb/host/xen-hcd.c xenhcd_destroy_rings() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-u32max
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-2),1-s32max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex

drivers/usb/host/xen-hcd.c xenhcd_setup_rings() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 1-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-2),1-s32max
DATA_SOURCE 1 dev_id $1
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
LOCK2 global &xenwatch_mutex

drivers/video/fbdev/xen-fbfront.c xenfb_connect_backend() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-2),1-s32max
DATA_SOURCE 0 irq r bind_evtchn_to_irqhandler
DATA_SOURCE 1 dev_id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
HALF_LOCKED2 &dev->reclaim_sem

drivers/video/fbdev/xen-fbfront.c xenfb_disconnect_backend() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-2),1-s32max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
HALF_LOCKED2 &dev->reclaim_sem

drivers/xen/xenbus/xenbus_comms.c xb_deinit_comms() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 926707840344289280
BUF_SIZE 1 dev_id 88
NOCHECK_CALL
LOCK2 global &xs_response_mutex
LOCK2 global &xs_watch_rwsem

drivers/xen/evtchn.c evtchn_unbind_from_user() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
DATA_SOURCE 0 irq r irq_from_evtchn
DATA_SOURCE 1 dev_id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
HALF_LOCKED2 &u->bind_mutex

arch/x86/xen/smp.c xen_smp_intr_free() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/xen/smp.c xen_smp_intr_free() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/xen/smp.c xen_smp_intr_free() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/xen/smp.c xen_smp_intr_free() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 1 dev_id 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/xen-pcifront.c free_pdev() -> unbind_from_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
PARAM_VALUE 1 dev_id 4096-ptr_max
BUF_SIZE 1 dev_id s32min-(-2),1-s32max
DATA_SOURCE 1 dev_id $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_id unit_byte
LOCK2 &xdev->reclaim_sem
TYPE_LOCK (struct xenbus_device)->reclaim_sem