Defined in 2 files as a function:

• arch/x86/kvm/vmx/vmx.c, line 655 (as a function)
• arch/x86/kvm/vmx/vmx.c, line 717 (as a function)

Referenced in 1 files:

• arch/x86/kvm/vmx/vmx.c, line 8883

Smatch caller information: