Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_offline_cpu() -> kvm_disable_virtualization_cpu()

Type Parameter Key Value
PARAM_VALUE 0 ign 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_suspend() -> kvm_disable_virtualization_cpu()

Type Parameter Key Value
PARAM_VALUE 0 ign 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &acpi_scan_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq

kernel/smp.c csd_do_func() -> csd_do_func param 0()

Type Parameter Key Value
BUF_SIZE 0 ign (-1)-0,8,32,38,120,256
BUF_SIZE 0 ign (-1)-0,8,32,38,120,256
BUF_SIZE 0 ign->clk (-1),1-s32max
BUF_SIZE 0 ign->clk_bus (-1),1-s32max
BUF_SIZE 0 ign->dev (-1),1616
BUF_SIZE 0 ign->pages (-1)-s32max
BUF_SIZE 0 ign->phylink (-1),816
BUF_SIZE 0 ign->phylink_config.dev (-1),1616
BUF_SIZE 0 ign->phylink_pcs.ops (-1),104
BUF_SIZE 0 ign->ports (-1),576
BUF_SIZE 0 ign->reg (-1),15
BUF_SIZE 0 ign->stats (-1),120
BUF_SIZE 0 ign->vaddr (-1),8,800
DATA_SOURCE 0 ign $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ign->mm->arg_start
NO_OVERFLOW_SIMPLE 0 *ign
UNITS 0 ign unit_byte
HALF_LOCKED2 flags