Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/cpuidle/cpuidle-haltpoll.c haltpoll_want() -> kvm_para_has_hint()

Type Parameter Key Value
PARAM_VALUE 0 feature 0

arch/x86/kernel/kvm.c kvm_spinlock_init() -> kvm_para_has_hint()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
LOCK2 irq

arch/x86/kernel/kvm.c pv_sched_yield_supported() -> kvm_para_has_hint()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
LOCK2 irq

arch/x86/kernel/kvm.c pv_tlb_flush_supported() -> kvm_para_has_hint()

Type Parameter Key Value
PARAM_VALUE 0 feature 0
HALF_LOCKED2 irq