Defined in 1 files as a function:
Referenced in 9 files:
- arch/arm/xen/enlighten.c, line 162
- arch/x86/xen/enlighten.c
- arch/x86/xen/irq.c, line 38
- arch/x86/xen/smp_pv.c
- arch/x86/xen/time.c
- drivers/xen/events/events_base.c
- drivers/xen/events/events_fifo.c, line 116
- drivers/xen/evtchn.c, line 459
- drivers/xen/time.c, line 159
Smatch caller information:
arch/x86/xen/time.c xen_hvm_init_time_ops() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
| LOCK2 | irq |
arch/x86/xen/time.c xen_time_init() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
| DATA_SOURCE | 0 | cpu | r debug_smp_processor_id |
arch/x86/xen/time.c xen_timer_resume() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-64 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | r find_next_bit |
| CONSTRAINT | 0 | cpu | <3035 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/xen/time.c xen_vcpuop_set_next_event() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
| DATA_SOURCE | 0 | cpu | r debug_smp_processor_id |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &clockevents_lock | ||
| HALF_LOCKED2 | global &tick_broadcast_lock | ||
| HALF_LOCKED2 | irq |
arch/x86/xen/time.c xen_vcpuop_set_oneshot() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
| DATA_SOURCE | 0 | cpu | r debug_smp_processor_id |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &clockevents_lock | ||
| HALF_LOCKED2 | global &tick_broadcast_lock | ||
| HALF_LOCKED2 | irq |
arch/x86/xen/time.c xen_vcpuop_shutdown() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
| DATA_SOURCE | 0 | cpu | r debug_smp_processor_id |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &clockevents_lock | ||
| HALF_LOCKED2 | global &tick_broadcast_lock | ||
| HALF_LOCKED2 | irq |
arch/x86/xen/time.c xen_vcpuop_shutdown() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
| DATA_SOURCE | 0 | cpu | r debug_smp_processor_id |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &clockevents_lock | ||
| HALF_LOCKED2 | global &tick_broadcast_lock | ||
| HALF_LOCKED2 | irq |
arch/x86/xen/smp_pv.c stop_self() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
| DATA_SOURCE | 0 | cpu | r debug_smp_processor_id |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/xen/smp_pv.c xen_pv_cpu_die() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-s32max |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | $0 |
| STR_LEN | 0 | cpu | (-1),8-9,11-29,31-34,38 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &cpuhp_state_mutex | ||
| HALF_LOCKED2 | irq |
arch/x86/xen/smp_pv.c xen_pv_cpu_die() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-s32max |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | $0 |
| STR_LEN | 0 | cpu | (-1),8-9,11-29,31-34,38 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &cpuhp_state_mutex | ||
| HALF_LOCKED2 | irq |
arch/x86/xen/smp_pv.c xen_pv_kick_ap() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-s32max |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | $0 |
| STR_LEN | 0 | cpu | (-1),8-9,11-29,31-34,38 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &cpuhp_state_mutex | ||
| HALF_LOCKED2 | irq |
arch/x86/xen/smp_pv.c xen_pv_play_dead() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
| LOCK2 | irq |
arch/x86/xen/irq.c xen_halt() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
drivers/xen/events/events_fifo.c init_control_block() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cpu | $0 |
| STR_LEN | 0 | cpu | (-1),8-9,11-29,31-34,38 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/xen/events/events_base.c bind_ipi_to_irq() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cpu | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &irq_mapping_update_lock |
drivers/xen/events/events_base.c bind_virq_to_irq() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cpu | $1 |
| STR_LEN | 0 | cpu | (-1),15 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &irq_mapping_update_lock |
drivers/xen/events/events_base.c find_virq() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cpu | $1 |
| STR_LEN | 0 | cpu | (-1),15 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &irq_mapping_update_lock |
drivers/xen/events/events_base.c restore_cpu_ipis() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-64 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
drivers/xen/events/events_base.c restore_cpu_virqs() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-64 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
drivers/xen/events/events_base.c xen_rebind_evtchn_to_cpu() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cpu | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
drivers/xen/events/events_base.c xen_send_IPI_one() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-8192 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | $0 |
| TASK_NOT_RUNNING |
drivers/xen/time.c xen_setup_runstate_info() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cpu | $0 |
| STR_LEN | 0 | cpu | (-1),8-9,11-29,31-34,38 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
drivers/xen/evtchn.c evtchn_ioctl() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0 |
| LOCK2 | &u->bind_mutex | ||
| TYPE_LOCK | (struct per_user_data)->bind_mutex |
arch/x86/xen/enlighten.c xen_vcpu_info_reset() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-64 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
arch/x86/xen/enlighten.c xen_vcpu_info_reset() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-64 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
arch/x86/xen/enlighten.c xen_vcpu_restore() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-64 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | r find_next_bit |
| CONSTRAINT | 0 | cpu | <3035 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/xen/enlighten.c xen_vcpu_restore() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 0-64 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | r find_next_bit |
| CONSTRAINT | 0 | cpu | <3035 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/xen/enlighten.c xen_vcpu_restore() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 1-64 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | r find_next_bit |
| CONSTRAINT | 0 | cpu | <3035 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/xen/enlighten.c xen_vcpu_restore() -> xen_vcpu_nr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu | 1-64 |
| CAPPED_DATA | 0 | cpu | 1 |
| DATA_SOURCE | 0 | cpu | r find_next_bit |
| CONSTRAINT | 0 | cpu | <3035 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |