Symbol: VMCB_EXITINTINFO_VECTOR
sys/amd64/vmm/amd/svm.c
1031
VMCB_EXITINTINFO_VECTOR(intinfo));
sys/amd64/vmm/amd/svm.c
1733
VMCB_EXITINTINFO_VECTOR(intinfo),