Defined in 3 files as a prototype:

Defined in 2 files as a function:

Referenced in 6 files:

Smatch caller information:

arch/x86/kernel/cpu/mshyperv.c hv_smp_prepare_cpus() -> hv_isolation_type_snp()

Type Parameter Key Value

arch/x86/kernel/cpu/mshyperv.c ms_hyperv_init_platform() -> hv_isolation_type_snp()

Type Parameter Key Value
LOCK2 irq

drivers/hv/hv_common.c hv_common_cpu_init() -> hv_isolation_type_snp()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/hv/hv.c hv_post_message() -> hv_isolation_type_snp()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
HALF_LOCKED2 global &vmbus_connection.channel_mutex
HALF_LOCKED2 sk

arch/x86/hyperv/ivm.c hv_ivm_msr_read() -> hv_isolation_type_snp()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

arch/x86/hyperv/ivm.c hv_ivm_msr_write() -> hv_isolation_type_snp()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/hv/connection.c vmbus_set_event() -> hv_isolation_type_snp()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &idev->info_lock

arch/x86/hyperv/hv_init.c hv_cpu_init() -> hv_isolation_type_snp()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

arch/x86/hyperv/hv_init.c hyperv_init() -> hv_isolation_type_snp()

Type Parameter Key Value

arch/x86/hyperv/hv_init.c hyperv_init_ghcb() -> hv_isolation_type_snp()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq