Open Menu /

Documented in 1 files:

Defined in 2 files as a macro:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/xen/events/events_2l.c evtchn_2l_clear_pending() -> sync_clear_bit()

Type Parameter Key Value
PARAM_VALUE 1 addr 4096-ptr_max
BUF_SIZE 1 addr 512
DATA_SOURCE 0 nr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/xen/events/events_2l.c evtchn_2l_unmask() -> sync_clear_bit()

Type Parameter Key Value
PARAM_VALUE 1 addr 4096-ptr_max
BUF_SIZE 1 addr 512
CAPPED_DATA 0 nr 1
DATA_SOURCE 0 nr $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &info->lock
LOCK2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct irq_info)->lock

drivers/xen/events/events_fifo.c evtchn_fifo_clear_pending() -> sync_clear_bit()

Type Parameter Key Value
PARAM_VALUE 0 nr 31,63
PARAM_VALUE 1 addr 0,4096-ptr_max
FUZZY_MAX 0 nr 63
HARD_MAX 0 nr 63
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL