Defined in 1 files as a prototype:

• arch/x86/kvm/vmx/vmx.h, line 732 (as a prototype)

Defined in 1 files as a function:

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

Referenced in 1 files:

• arch/x86/kvm/vmx/main.c, line 1063

Smatch caller information: