Defined in 1 files as a function:
Referenced in 4 files:
- arch/powerpc/platforms/pseries/hotplug-cpu.c, line 173
- arch/s390/kernel/smp.c, line 753
- drivers/hv/channel_mgmt.c, line 790
- kernel/bpf/cpumask.c, line 302
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 |