Symbol: is_ve_fault
arch/x86/kvm/vmx/nested.c
6478
else if (is_ve_fault(intr_info))
arch/x86/kvm/vmx/vmx.c
5511
if (WARN_ON_ONCE(is_ve_fault(intr_info))) {