Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kvm/vmx/posted_intr.c pi_enable_wakeup_handler() -> pi_test_on()

Type Parameter Key Value
PARAM_VALUE 0 pi_desc 663961495548256256

arch/x86/kvm/vmx/posted_intr.c pi_has_pending_interrupt() -> pi_test_on()

Type Parameter Key Value
PARAM_VALUE 0 pi_desc 4096-ptr_max
BUF_SIZE 0 pi_desc 64
DATA_SOURCE 0 pi_desc r vcpu_to_pi_desc

arch/x86/kvm/vmx/posted_intr.c pi_wakeup_handler() -> pi_test_on()

Type Parameter Key Value
PARAM_VALUE 0 pi_desc 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 spinlock

arch/x86/kvm/vmx/nested.c vmx_has_nested_events() -> pi_test_on()

Type Parameter Key Value
PARAM_VALUE 0 pi_desc 1-u64max

arch/x86/kvm/vmx/tdx.c tdx_vcpu_run() -> pi_test_on()

Type Parameter Key Value
PARAM_VALUE 0 pi_desc 4096-ptr_max

arch/x86/kvm/vmx/vmx.c vmx_sync_pir_to_irr() -> pi_test_on()

Type Parameter Key Value
PARAM_VALUE 0 pi_desc 4096-ptr_max