Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/mlx4/mcg.c cmp_rec() -> check_selector()

Type Parameter Key Value
PARAM_VALUE 1 selector_mask 16
PARAM_VALUE 2 value_mask 32
DATA_SOURCE 0 comp_mask $2
LOCK2 &group->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mcast_group)->lock

drivers/infiniband/hw/mlx4/mcg.c cmp_rec() -> check_selector()

Type Parameter Key Value
PARAM_VALUE 1 selector_mask 256
PARAM_VALUE 2 value_mask 512
DATA_SOURCE 0 comp_mask $2
LOCK2 &group->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mcast_group)->lock

drivers/infiniband/hw/mlx4/mcg.c cmp_rec() -> check_selector()

Type Parameter Key Value
PARAM_VALUE 1 selector_mask 1024
PARAM_VALUE 2 value_mask 2048
DATA_SOURCE 0 comp_mask $2
LOCK2 &group->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mcast_group)->lock

drivers/infiniband/core/multicast.c cmp_rec() -> check_selector()

Type Parameter Key Value
PARAM_VALUE 1 selector_mask 16
PARAM_VALUE 2 value_mask 32
DATA_SOURCE 0 comp_mask $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &group->lock
LOCK2 irq
TYPE_LOCK (struct mcast_group)->lock

drivers/infiniband/core/multicast.c cmp_rec() -> check_selector()

Type Parameter Key Value
PARAM_VALUE 1 selector_mask 256
PARAM_VALUE 2 value_mask 512
DATA_SOURCE 0 comp_mask $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &group->lock
LOCK2 irq
TYPE_LOCK (struct mcast_group)->lock

drivers/infiniband/core/multicast.c cmp_rec() -> check_selector()

Type Parameter Key Value
PARAM_VALUE 1 selector_mask 1024
PARAM_VALUE 2 value_mask 2048
DATA_SOURCE 0 comp_mask $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &group->lock
LOCK2 irq
TYPE_LOCK (struct mcast_group)->lock