Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/events/events_base.c xen_irq_resume() -> restore_pirqs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags