Documented in 1 files:

Defined in 2 files as a macro:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/xen/events/events_2l.c evtchn_2l_mask() -> sync_set_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
HALF_LOCKED2 &info->lock
HALF_LOCKED2 flags

drivers/xen/events/events_2l.c evtchn_2l_set_pending() -> sync_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 nr 1-u32max
PARAM_VALUE 1 addr 4096-ptr_max
BUF_SIZE 1 addr 512
DATA_SOURCE 0 nr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->lock

drivers/xen/events/events_2l.c evtchn_2l_unmask() -> sync_set_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/hv/channel.c vmbus_send_interrupt() -> sync_set_bit()

Type Parameter Key Value
PARAM_VALUE 1 addr 0,18379471554275706880,18446612682070034432
DATA_SOURCE 0 nr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hv/channel.c vmbus_setevent() -> sync_set_bit()

Type Parameter Key Value
PARAM_VALUE 1 *addr 0-u32max
BUF_SIZE 1 addr 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/xen/events/events_fifo.c evtchn_fifo_mask() -> sync_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 nr 30,62
PARAM_VALUE 1 addr 0,4096-ptr_max
FUZZY_MAX 0 nr 62
HARD_MAX 0 nr 62
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 flags

drivers/xen/events/events_fifo.c evtchn_fifo_set_pending() -> sync_set_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
HALF_LOCKED2 &desc->lock

drivers/hv/connection.c vmbus_send_interrupt() -> sync_set_bit()

Type Parameter Key Value
PARAM_VALUE 1 addr 0,18379471554275706880,18446612682070034432
DATA_SOURCE 0 nr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &idev->info_lock