Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/events/events_base.c bind_evtchn_to_irqhandler_chip() -> unbind_from_irq()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
DATA_SOURCE 0 irq r bind_evtchn_to_irq_chip
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xenwatch_mutex

drivers/xen/events/events_base.c bind_interdomain_evtchn_to_irqhandler_chip() -> unbind_from_irq()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
DATA_SOURCE 0 irq r bind_interdomain_evtchn_to_irq_chip
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev_lock
HALF_LOCKED2 global &xenwatch_mutex

drivers/xen/events/events_base.c bind_ipi_to_irqhandler() -> unbind_from_irq()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
CAPPED_DATA 0 irq 1
DATA_SOURCE 0 irq r bind_ipi_to_irq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/xen/events/events_base.c bind_virq_to_irqhandler() -> unbind_from_irq()

Type Parameter Key Value
PARAM_VALUE 0 irq 0-s32max
CAPPED_DATA 0 irq 1
DATA_SOURCE 0 irq r bind_virq_to_irq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/xen/events/events_base.c evtchn_put() -> unbind_from_irq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 irq unit_array_size
HALF_LOCKED2 global &gref_mutex

drivers/xen/events/events_base.c unbind_from_irqhandler() -> unbind_from_irq()

Type Parameter Key Value
DATA_SOURCE 0 irq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 &pdev->dev_lock
HALF_LOCKED2 &xdev->reclaim_sem
HALF_LOCKED2 global &ioreq_lock
HALF_LOCKED2 global &pvcalls_back_global.frontends_lock
HALF_LOCKED2 global &xenwatch_mutex
HALF_LOCKED2 global &xs_response_mutex
HALF_LOCKED2 global &xs_watch_rwsem