Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/bpf/cpumask.c bpf_cpumask_xor() -> cpumask_xor()

Type Parameter Key Value
DATA_SOURCE 0 dstp $0
DATA_SOURCE 1 src1p $1
DATA_SOURCE 2 src2p $2
NOCHECK_CALL

drivers/hv/channel_mgmt.c init_vp_index() -> cpumask_xor()

Type Parameter Key Value
PARAM_VALUE 0 dstp 1-u64max
PARAM_VALUE 1 src1p 4096-ptr_max
BUF_SIZE 2 src2p (-1),1024
NOCHECK_CALL
LOCK2 global &vmbus_connection.channel_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct vmbus_connection)->channel_mutex