Symbol: vcpu_exception_intinfo
sys/amd64/vmm/vmm.c
1411
info2 = vcpu_exception_intinfo(vcpu);
sys/amd64/vmm/vmm.c
1441
*info2 = vcpu_exception_intinfo(vcpu);