Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/kvm.c kvm_guest_init() -> paravirt_ops_setup()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq