Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/xen/smp.c xen_send_IPI_all() -> xen_map_vector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vector | $0 |
arch/x86/xen/smp.c xen_send_IPI_mask() -> xen_map_vector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vector | $1 |
arch/x86/xen/smp.c xen_send_IPI_mask_allbutself() -> xen_map_vector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vector | $1 |
arch/x86/xen/smp.c xen_send_IPI_self() -> xen_map_vector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vector | $0 |