Defined in 1 files as a function:

Referenced in 9 files:

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